{"entities":{"Q4554399":{"pageid":6583991,"ns":120,"title":"Item:Q4554399","lastrevid":41173612,"modified":"2025-04-18T16:47:25Z","type":"item","id":"Q4554399","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6979315"}},"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":"Q4554399$904920BC-F009-4D7F-B668-CCEBF9F1B542","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb494c23c3d876d89e5ba572870abeb551b41f30","datavalue":{"value":"1401.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554399$529DE702-2E9E-4829-AB3B-CED00FDEC7C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4554399$61B16464-46E8-4501-9ACD-56CFBCA80209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3463df273e70fb782bb74b15747c9b61c0881319","datavalue":{"value":{"entity-type":"item","numeric-id":724931,"id":"Q724931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4554399$96DE8A79-7930-4388-90FA-0A562D07F24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4554399$C529466D-419B-41A2-B687-661F75D32186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab6016208e508d1dafde71eff27289560c9bb79b","datavalue":{"value":{"time":"+2018-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4554399$ADC75792-1CD3-4A72-BEDA-A96C03241EF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554399$DE7AD454-E92B-4188-991E-50E9B6C7C9F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79eb60e62d1f103a6813c44ac0591accb121e280","datavalue":{"value":"6979315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4554399$9DF12C7C-75E4-44B1-9A91-FE6CD3B5EE55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4554399$64C67AA3-74C5-412E-8C12-C53E63974216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b770c8a716c542844b1873dc85498b949380003e","datavalue":{"value":"equational hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4554399$0456191D-AC2B-4AB9-BD5C-C3A4E906AC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4554399$85DF1472-D194-4BB3-A203-7AF9512CAA82","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":"Q4554399$EFC20448-08C1-4918-8F99-D552F77579AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48baf9fe8538e6f0efcbe525b35598e1e1a4a1aa","datavalue":{"value":{"entity-type":"item","numeric-id":5477452,"id":"Q5477452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d6374a5bbbb48ae0f575803ceb509696c4a84d","datavalue":{"value":{"amount":"+0.93040395","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":"Q4554399$6560167A-AABF-4E79-B05F-E8DAA390DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2165ce857bc5b65fad7b4d24e48df2aadbf0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4619876,"id":"Q4619876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173e4f6432798c02331bdb380451a7371a9891c0","datavalue":{"value":{"amount":"+0.92580783","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":"Q4554399$344BA84B-56D7-4978-9B56-241AF9B2A0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565c4e542ed6f31e7609ec92e60069a064db637e","datavalue":{"value":{"entity-type":"item","numeric-id":2255232,"id":"Q2255232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d4dab001932a304da2b88638dd95f3e3b3f521","datavalue":{"value":{"amount":"+0.92355704","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":"Q4554399$992651D8-9C24-4536-8276-17DA64C6D9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdb0a177fd3fce5410d6abad8a8f0cbf33f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd71ce59f3cb0dcf260b01ea88b52d352bc06f1c","datavalue":{"value":{"amount":"+0.9110798","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":"Q4554399$2E0BA285-95F1-419E-8A04-A30C24C33DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d7b3fa8ea64ff3a2d3ba60cc3ce13401d1210e","datavalue":{"value":{"entity-type":"item","numeric-id":4418112,"id":"Q4418112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e7db51e8dce63701d777d686d8e846e23b92ba","datavalue":{"value":{"amount":"+0.9105892","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":"Q4554399$C237580C-BA52-4CEF-9CC3-DCA6971F17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e97016efd4ddd6da251c66ef051e3ee4988182","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53c20477dd7d3b82c273668b2ecd3017e57c77a","datavalue":{"value":{"amount":"+0.9087485","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":"Q4554399$1BA54766-B105-4071-82B4-F94A2DA1AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d290d323f84618c4129ab5cae50d9b58f22f4f52","datavalue":{"value":{"entity-type":"item","numeric-id":4835523,"id":"Q4835523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2760dfe7ce991a8290a0e3e1501b27e44e8506","datavalue":{"value":{"amount":"+0.9070323","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":"Q4554399$E0908DF9-6EDD-4360-B98E-1C054F64F7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8ff011917ffb7cfe8c0e69d10caeb089d23d17","datavalue":{"value":{"entity-type":"item","numeric-id":4995380,"id":"Q4995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5369f34675fad4fbba8bb691b0e1c4e3eb413d65","datavalue":{"value":{"amount":"+0.9051931","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":"Q4554399$65E4FF50-03F9-4844-A2C9-53BE14EF9F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9534a1a1ffa65afada9314d1cc7674d202d48c1","datavalue":{"value":{"entity-type":"item","numeric-id":4600775,"id":"Q4600775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e103466205ef1691032100a8831ab537949fa1","datavalue":{"value":{"amount":"+0.9039832","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":"Q4554399$FD09D8CE-3B21-44D3-8918-74F783F7FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd20bec01f922f56f37f259f385be050b2fece5f","datavalue":{"value":{"entity-type":"item","numeric-id":4411833,"id":"Q4411833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00adab8d07a99939b10b30c4966dd20477c1014b","datavalue":{"value":{"amount":"+0.9009564","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":"Q4554399$148E0799-77BE-46A6-9925-A31DAE0C0921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4554399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4554399"}}}}}