{"entities":{"Q4804916":{"pageid":6834496,"ns":120,"title":"Item:Q4804916","lastrevid":74849226,"modified":"2026-04-15T00:38:53Z","type":"item","id":"Q4804916","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903371"}},"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":"Q4804916$E5A52DC8-3E63-4B10-9AAE-69E390569059","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b31148bf36d703f6a5c4180df45cf111bd3e5565","datavalue":{"value":"1010.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804916$5247EA7E-B2B9-495B-A08C-8EF2F50BDABF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fd37d21df21b3852268407b23118ccd2ff6fc75","datavalue":{"value":{"entity-type":"item","numeric-id":407689,"id":"Q407689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804916$B7FA7A5B-96AA-4E58-86FD-A096975423C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804916$CA57671D-4C18-45FE-9186-8E7A3917780C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8926003e162051c58862b88ffdd8ac7412f34dc8","datavalue":{"value":{"time":"+2003-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4804916$E5512B69-944A-43EF-8612-C43D99D83CB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cc0fa6c993ed901b1075aeb752fdb3208ee46f5","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2404/24040455.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804916$1804509C-BF40-4E26-B998-847FDDDAA046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804916$FAF3DFF2-EADD-4A99-87C1-E9166702E3DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"413eb24484987c48f31190b1636f6e816ee30fb3","datavalue":{"value":"1903371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804916$411702A0-DD6D-4E0F-B0E6-B56556C3166F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804916$4A02713B-1502-4162-AB2A-5822A7A87B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261848b443663e8d2d0f43bc34f79669ab335270","datavalue":{"value":"diagnostic information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804916$9E59D7D5-A8A1-497D-A768-68FC7D650022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804916$2EFB595B-ABE7-4921-B528-9848E63ADC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804916$98833FEA-4BD4-45E8-9A1F-E59ECBD66DDD","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":"Q4804916$087CC1E6-465B-4EC9-B22E-74DC4FEE1546","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec61f7d49c62cfd0e58d8f4da2a04abdab4c51ff","datavalue":{"value":{"amount":"+0.8011788725852966","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":"Q4804916$E42B637C-6BC7-4D54-A4C5-3D25E72EE9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf8d7ba2c39e3f438a46d44f4a64d0f03f1ddae","datavalue":{"value":{"amount":"+0.755894124507904","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":"Q4804916$5C61F4DE-5F2E-4CBC-BE87-613609B9FCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf8d7ba2c39e3f438a46d44f4a64d0f03f1ddae","datavalue":{"value":{"amount":"+0.755894124507904","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":"Q4804916$0AF38AA2-CC41-499C-AB23-767C0182732B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a361897a83fbcb8ac7951dffc524d62a5491ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee9112ad51a8244695d9910a352ae7ab82f618e","datavalue":{"value":{"amount":"+0.7434907555580139","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":"Q4804916$8A077F67-0C03-4F2F-A70D-511EB6AF63A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ca62c39daef51f810d9a0d209450a61b419b7b","datavalue":{"value":{"amount":"+0.7364736199378967","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":"Q4804916$71956DF5-9C4A-467E-A41F-2D8375A0CFE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1903371","badges":[]}}}}}