{"entities":{"Q1974478":{"pageid":1985220,"ns":120,"title":"Item:Q1974478","lastrevid":82280633,"modified":"2026-05-06T20:31:45Z","type":"item","id":"Q1974478","labels":{"en":{"language":"en","value":"Revising \\(Z\\). II: Logical development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439778"}},"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":"Q1974478$1A7D2BFA-35CC-4EF4-A75F-6A82DD122E60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef9981bdcad9e9775af51a1799e94c51514b7d27","datavalue":{"value":{"text":"Revising \\(Z\\). II: Logical development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974478$3A42D4B5-9B59-4029-A35A-C55C68619234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b41d37db86b7c63604a41447dafd0ed1449e16e","datavalue":{"value":"0955.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974478$02DAD480-DC29-4FF2-8744-A698CF07EFDE","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":"Q1974478$A6819E9D-FF07-40B3-9A6A-C13B980F142B","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":"Q1974478$89EB355F-0307-47F8-97A9-CD519063F87D","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":"Q1974478$708B28A9-297D-4144-81E4-DD72882BCE24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc17136081e6b5d5fc40d3affb0beecbc4f23a8c","datavalue":{"value":{"time":"+2000-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1974478$452EA56A-DF3C-45EF-B8FA-439232D312F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974478$3857A973-A88F-4E13-ACFB-926D31F81D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974478$F815D052-6281-4EDF-AE43-D3C0F9EEA1E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9140a28daea6724163fd9d6310bea6e9f6113db0","datavalue":{"value":"1439778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974478$FEFD66BD-9619-40FF-B360-7A24927588BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1044105206cd51219feeec07e1407a3aeb0dee3c","datavalue":{"value":"specification language \\(Z\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974478$E19C27A5-057C-42C3-B7AB-BD2DE7C085B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68ba5872fe79be920eafdbd3ed7c7b13785eab4","datavalue":{"value":"specification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974478$C7FC06D7-B26C-46C7-A37D-4B36E0623EDD","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":"Q1974478$1F93DB19-5310-40CA-865B-F7C1DB26670D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2589415a8237e84604c7ceec5185d62179f8ffd3","datavalue":{"value":"https://doi.org/10.1007/s001650050039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974478$CF4430AC-7F62-40D1-BB14-77BB4F4935E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf340d0cdbebdfff520b6a7ef6364e970d0366b8","datavalue":{"value":"W2150680956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974478$B23C117B-E1C0-4921-90C9-45EDA9FEDE5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ec4f12c68a00f631535df6da17334a9132f78d9","datavalue":{"value":"10.1007/S001650050039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974478$04B3BDF3-9678-4C31-A448-88BBA4AFBE5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9272fab4f0ab93a022a7f20c9f6fa01a3e2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":1974477,"id":"Q1974477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe276ec29650a483d048dd29a3835175f39c42b","datavalue":{"value":{"amount":"+0.9436916708946228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974478$BFA3D83D-BA69-4868-A193-AB3EFA08F0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e1c1b4624c47741cd53ac3f4d52dde3bd2a743","datavalue":{"value":{"entity-type":"item","numeric-id":4680194,"id":"Q4680194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814e50c539c77428ffc2e3699cc7565a097a198e","datavalue":{"value":{"amount":"+0.8518409132957458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974478$B77BEFED-CF54-4A1E-BC5E-72681D0C08C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0632649720488c1470077b7e7c359aec696ce5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4952026,"id":"Q4952026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242e92f62c94ee2c2db1a716565ccfa6dc936d4e","datavalue":{"value":{"amount":"+0.8466777205467224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974478$808B0856-9EA3-4788-B14E-5ED379AFD084","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":"097f07149cdfab618b2350347324935dff71129c","datavalue":{"value":{"amount":"+0.8428288698196411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974478$391D13E3-7E5E-45AA-A373-7D26779B0FAA","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":"06fef5dd1303ca7075cb5c142152cf9dee97c69a","datavalue":{"value":{"amount":"+0.8394078612327576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1974478$8A677BDE-82CA-4DA5-9562-E51A3073D043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revising \\(Z\\). II: Logical development","badges":[]}}}}}