{"entities":{"Q1974477":{"pageid":1985219,"ns":120,"title":"Item:Q1974477","lastrevid":43457911,"modified":"2025-07-26T01:14:48Z","type":"item","id":"Q1974477","labels":{"en":{"language":"en","value":"Revising \\(Z\\). I: Logic and semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439777"}},"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":"Q1974477$833AA979-9AF3-4689-B332-0BB287F2E424","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e535f9a715f6515ecbdd1a4dd25d21724808c7","datavalue":{"value":{"text":"Revising \\(Z\\). I: Logic and semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974477$74DBC75C-124B-4BED-B72D-C7DFC8CD983D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff465023f9a3f3be274d4971fab9a8515a832c93","datavalue":{"value":"0955.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974477$9CE5463A-92C6-42BD-BB3A-DC584F2D000A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2407d166abf2752782a88ad6526ca336d664a72b","datavalue":{"value":{"entity-type":"item","numeric-id":706505,"id":"Q706505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974477$9CA1C3D6-F91F-41BE-9D61-08381A4D623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de8240eed4897af96e7a9c4cc68e839abe9a6346","datavalue":{"value":{"entity-type":"item","numeric-id":541211,"id":"Q541211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974477$3F334858-0DB2-4A73-AC5D-47CD1B4E3B02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974477$5E2FB014-5036-4211-A836-DD9F0488A8B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1974477$3B8356FB-9601-4B5E-ACCB-3550D47D2043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974477$4BC99B44-8B0A-4E25-B83A-5E2540D689B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974477$606976C8-BB6F-4BF4-A006-92772C39EE04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbacf059e7303c168b697037463faff492470574","datavalue":{"value":"1439777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974477$2FC0C1FD-113E-420E-BAB1-43A58602DB75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1044105206cd51219feeec07e1407a3aeb0dee3c","datavalue":{"value":"specification language \\(Z\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974477$EF93E48C-B2CE-4A81-B82C-2B1FC0D2C6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68ba5872fe79be920eafdbd3ed7c7b13785eab4","datavalue":{"value":"specification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974477$E47DF353-CF1E-4359-A05D-9C9A7E7B628D","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":"Q1974477$7F2FA874-87EF-45FC-B858-A5B5DD1EB4DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6f8851da1d895093c90cc9629b1c4ef2412900b","datavalue":{"value":"https://doi.org/10.1007/s001650050038","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974477$1D8040F2-6CC6-4EE9-A54F-07943CE7F3C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fec2028eda20c4d6609f496d651fdeb6c6ee357","datavalue":{"value":"W2157515101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974477$455CBD16-CC18-461B-8072-69B70E4B78B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"778cee408b208ce9ab5aad97703bbcdfef3e5a19","datavalue":{"value":"10.1007/S001650050038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974477$8C88AB0C-D8BC-4E2D-B81B-B0CD34E43FAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370eb66202d526cfc51dfb5304bcbdbe4c05ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1974478,"id":"Q1974478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e958a67ec5647d4c7dc65477326fde904b55ee42","datavalue":{"value":{"amount":"+0.91262716","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":"Q1974477$16EDBC1D-F3F1-49A2-9D50-51661BBD56F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eee7dce90c38e309eed4351f02cffa97d25e331","datavalue":{"value":{"entity-type":"item","numeric-id":1974482,"id":"Q1974482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add94d073391f1cc1579199826357c4c7c8b52e6","datavalue":{"value":{"amount":"+0.8682769","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":"Q1974477$73F31877-6BA1-4A7B-905E-AEBC86B06E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab584494babef3defbbbef82dced7441f9ec7f3","datavalue":{"value":{"entity-type":"item","numeric-id":2863834,"id":"Q2863834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7985df9e1cc8e9e5c21393f18638cf85433887","datavalue":{"value":{"amount":"+0.863295","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":"Q1974477$F178B402-124A-4B01-BA79-9D074ADE0D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6549bd6ee5e8ec4ad896a35dba101370751d478b","datavalue":{"value":{"entity-type":"item","numeric-id":1653556,"id":"Q1653556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5f6ff4d5e0b76b63f48567cf8bc9827c2fd1d4","datavalue":{"value":{"amount":"+0.8610418","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":"Q1974477$C2E1D622-5FA3-4F9A-B925-B29A25A33EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed0de7bc68a5c5f74189c8bf9935f2d62d276bc","datavalue":{"value":{"entity-type":"item","numeric-id":4493901,"id":"Q4493901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74488afe6eb123b868d3c58857d84b014cff66c5","datavalue":{"value":{"amount":"+0.85428286","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":"Q1974477$A17E2F7E-159C-4A8D-952C-842C1F2BA885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a514b76999f47d33792c86f9092cd848a28d24","datavalue":{"value":{"entity-type":"item","numeric-id":5926770,"id":"Q5926770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74488afe6eb123b868d3c58857d84b014cff66c5","datavalue":{"value":{"amount":"+0.85428286","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":"Q1974477$35284DF6-38B7-457C-B343-32B9734FC838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6293aabcfa9ae6f8004addee6c4013f77ffcf5cc","datavalue":{"value":{"entity-type":"item","numeric-id":1181477,"id":"Q1181477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c0976e45fc1503c7fbe537d10bcbd667f8191e7","datavalue":{"value":{"amount":"+0.853461","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":"Q1974477$8B28BBEC-5411-4702-BCB9-A4CC105D6B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f4c9630170b9fd0de64ca312283447776de174","datavalue":{"value":{"entity-type":"item","numeric-id":4223005,"id":"Q4223005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd252df2198c83341cc279a56a466eaad0b097a","datavalue":{"value":{"amount":"+0.8480967","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":"Q1974477$38BE9448-5676-4835-A0F1-1FCD7941B436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cfb502f20912bf559add5fcf64498d7c4bb8f1","datavalue":{"value":{"entity-type":"item","numeric-id":4472184,"id":"Q4472184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af333fb38e63c5ea8ad10ce8a343dc3b8361e107","datavalue":{"value":{"amount":"+0.84556556","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":"Q1974477$36156584-F3EB-4F68-BC82-D889AB6A353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69f86854ab0546a62638e2444818c8df777b8b6","datavalue":{"value":{"entity-type":"item","numeric-id":851135,"id":"Q851135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8dbd90a39fd90ff8c9a2aa34262cea897943542","datavalue":{"value":{"amount":"+0.8454596","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":"Q1974477$0E49327D-0E66-4E59-BA0D-3EA7FAC29DE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1974477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1974477"}}}}}