{"entities":{"Q2879271":{"pageid":2889991,"ns":120,"title":"Item:Q2879271","lastrevid":44708133,"modified":"2025-11-25T09:33:35Z","type":"item","id":"Q2879271","labels":{"en":{"language":"en","value":"On the Formalization of Z-Transform in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341500"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$97750C0D-4DB8-42E2-AF2E-A9B4A740BB8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1791babe00f937a42f0a1eab40124ac69b82502","datavalue":{"value":{"text":"On the Formalization of Z-Transform in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879271$FA9DE5A1-9FB8-42C4-833B-704086E8AD1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b5bf95b4aa785242fc2d7b0a179414823bd746","datavalue":{"value":"1416.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879271$15985C45-8818-49C3-9243-74E2ED341AD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26d8d60310fc8eb8635cea8f7b5bdc3ce35c3d7d","datavalue":{"value":"10.1007/978-3-319-08970-6_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879271$8A779E6D-3CE0-46B7-A219-E6C13663B4CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f80ae8d71f9783cdb2f9f83e88055ccf7296d6","datavalue":{"value":{"entity-type":"item","numeric-id":315312,"id":"Q315312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$1F9C1D31-F63F-49F7-B483-65C58EF56AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb4a3b184e2709849382aae1ffe1670556b6493","datavalue":{"value":{"entity-type":"item","numeric-id":475381,"id":"Q475381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$E50A8364-5374-4CC6-9F34-D93D07FF31F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$D6315A8D-22CC-490A-819C-1E3C755E68BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$4E1E5A98-6392-4A21-9DD2-07F0B4EE5016","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879271$C00D346D-8AAF-42E7-8863-D55A09D02956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879271$E2F9E31E-FC74-467D-9173-0939CFD359CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db3fc3244f368e49336c7e23443d11b7d69297d","datavalue":{"value":"94A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879271$DAFDEBA6-4F0B-4AA9-8164-C70FBFFC54E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"122efa4124aaa907d0cf79a55825a7643210caea","datavalue":{"value":"6341500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879271$6C0F0D69-37EF-45F7-902F-264E676E386F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$04216B42-3C3F-4E6B-AAD6-33D281151AAD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879271$1F110F14-8882-4C45-AFBE-5CBAF323C0C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"648021f4188809da26018f4d1684a3494d6fa642","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879271$A12735D4-F921-41AB-9E5C-9142B730C946","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7911119eb734e2c9ca6f27ad5483a5c3038279a2","datavalue":{"value":"W1955580075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879271$969BBD16-7D70-4440-A391-1E43D1CE3FE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5219f3614f276d4787284bc451e2a03b9d3d290c","datavalue":{"value":{"entity-type":"item","numeric-id":1666338,"id":"Q1666338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83df4e60983c2ba0ee90e9e7fcd6202469f5a265","datavalue":{"value":{"amount":"+0.8993344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$80A09AEB-38EC-44A3-AC82-BA87AF97E31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b4c1a6cc73475e4d910067ec5b89bfb7daced5","datavalue":{"value":{"entity-type":"item","numeric-id":2829282,"id":"Q2829282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c596bd5edcde9c705ccf7cdb11afe85d4ad9b4ae","datavalue":{"value":{"amount":"+0.8565976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$C7123766-D8A5-426B-9F6E-F1BB4D750949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e8f8950192242021036f7a946566d5cbb1d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":2294128,"id":"Q2294128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b491cc69d3650a519a026bbd173cf611c513ae5b","datavalue":{"value":{"amount":"+0.84687936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$1C365C5B-3BE2-426A-9482-D2E824C1C8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a358107e0aa52d0d1913166ea142904824186e","datavalue":{"value":{"entity-type":"item","numeric-id":2364690,"id":"Q2364690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9610becdf8dbca289472e11db1d7ec3a9356856","datavalue":{"value":{"amount":"+0.8407812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$3354BC8C-56FC-4F0C-B506-602DA75C7047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d962fffe1b594672e37b9ddbfb3fa1f0f8c95115","datavalue":{"value":{"entity-type":"item","numeric-id":5869541,"id":"Q5869541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb276aced4acf12d9b6e84ae522bcdf71b35bee","datavalue":{"value":{"amount":"+0.8402694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$6394D85C-946E-4324-B494-33DA0A165BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3d44bbd36b0708161e2ec3ff7b4197443a7cb0","datavalue":{"value":{"entity-type":"item","numeric-id":3100212,"id":"Q3100212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e45e2c6cd01abdf639d340a2d0cd739729be11","datavalue":{"value":{"amount":"+0.8352651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$C4B856AD-A150-43F8-ABDC-D816C89BEB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97311b85d17b368c78a2ea6a875377f7441a650","datavalue":{"value":{"entity-type":"item","numeric-id":816219,"id":"Q816219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fe3f0ae859cfba6ec9761707c84272be2411c8","datavalue":{"value":{"amount":"+0.8349164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$95CFDAA2-68A7-4E9F-A28C-13A4A48F49BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26337fe6e19eaec81bf52689f04e37229dc4725a","datavalue":{"value":{"entity-type":"item","numeric-id":2352499,"id":"Q2352499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622065d291efa066bb86c0092d09379e82fa826b","datavalue":{"value":{"amount":"+0.8284266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$E23DB39B-CD93-4789-8BE1-B1A36BC688F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6750917f3829cc90d656580d66858111c73214","datavalue":{"value":{"entity-type":"item","numeric-id":4472177,"id":"Q4472177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9add04cd2ef6755173fea2fd60494297a142ad8","datavalue":{"value":{"amount":"+0.8275104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879271$B8DAF853-9C8F-4762-A4BB-FECEF1C99F5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879271"}}}}}