{"entities":{"Q4032313":{"pageid":6062049,"ns":120,"title":"Item:Q4032313","lastrevid":55233589,"modified":"2026-02-05T03:28:53Z","type":"item","id":"Q4032313","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149521"}},"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":"Q4032313$F884A4BA-B4A2-4FD0-98CD-F28CA0E8D5C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9daa3b369278989e23ab118f5492f18588e5c6dc","datavalue":{"value":"0761.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$1081134B-6672-4D97-8302-05A4967FD44F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e7a92a96e6148fe777c586a5ea92900cd9ce610","datavalue":{"value":{"entity-type":"item","numeric-id":230068,"id":"Q230068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032313$DA23D0C0-E669-4831-A320-E6D767B2EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc8169c20ddf41957d5c220b42f64b8df4ae420","datavalue":{"value":{"entity-type":"item","numeric-id":230069,"id":"Q230069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032313$B49B5089-CEFF-4F51-AE28-3C4CC24F4A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d340a66f8ce9de4f2950f868f173aeaa7bc15992","datavalue":{"value":{"entity-type":"item","numeric-id":230072,"id":"Q230072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032313$E13583C2-3DBE-40FE-8AAD-DB856A4A2668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a87ca01b05a9850d3b2b81c816518f63acf59d5","datavalue":{"value":{"entity-type":"item","numeric-id":816725,"id":"Q816725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032313$8D1DD4F5-64B4-486B-94E8-AF9A12F7FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed149779f2df5d1dc5785fc35442c97f7e3972d","datavalue":{"value":{"entity-type":"item","numeric-id":816726,"id":"Q816726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032313$90BF4169-4496-4312-8C47-915A63C662CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-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":"Q4032313$CE48308C-7AEC-45E1-BF8B-8F43E7B3E737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$6586F700-A211-4550-97A7-FA739ECEB5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$D898C0E1-6AB0-4229-8720-846E564B290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$C57C3B36-7088-47D3-94C9-CBB2B70F10BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$C608E728-BF53-40C1-9BF3-948D1BC54BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$06ABCA06-575E-4C8B-8D39-9634EA9B76C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$9878DEA8-8417-48C1-A66F-20DF267B13E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$C4D64AC6-1E83-4563-9BFA-495E471CC27F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60ae3a94a60d94ee30fef343223efef5bd3789c0","datavalue":{"value":"149521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032313$1B4AB078-1527-49D5-9B92-8CA736067EB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"388fb49034e06162ae9ff57a13bded7541aa3df1","datavalue":{"value":"since/until temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$DBA9B56E-5FFE-45F4-A7EF-1AEE7410CEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b34d60920eb40d08296c798330e0497c82c9cba","datavalue":{"value":"automata-theoretic decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$2A03D558-7A67-46A5-A45F-25486B0B0B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1b14464eac80c8162d0a6a1cafc69618cdb871","datavalue":{"value":"linear-time propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$05092A41-BE15-454B-BA80-91A8E0A623D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76fbb14d03afd6ffc6e8a91069020101a3c3562","datavalue":{"value":"reasoning about computer systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$2ED9B952-69A0-4C21-ACF7-3519DFAFF972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e908aebee1e8a8807675355b8dcac7b6a2958567","datavalue":{"value":"reasoning about concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$6F396E12-99C3-4F9E-9750-2C15B2304BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$5D82255E-07B5-4CE6-B0D0-9A1E3BF42C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$B4BB96D7-70F1-4DF5-BE91-A34D45BB4575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032313$EBFA1FC1-F1EE-43E1-AF74-B090DB01EEDB","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":"Q4032313$12AE85FB-B497-44A5-82CF-09648846DCAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de1d0fa7d669e3716b04f956e1e8f52a2a501a0","datavalue":{"value":{"amount":"+0.8366004228591919","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":"Q4032313$E1178F98-737B-4A51-9F54-4592F58ACA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6073a63ea3c0284687b6091b6c592e235dcaf1ef","datavalue":{"value":{"amount":"+0.8248406648635864","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":"Q4032313$EB9E117B-9EE6-491C-BDCA-D9B6A300D11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9894df633e4790892302f3a1a197d3f20f15da0c","datavalue":{"value":{"amount":"+0.8211573958396912","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":"Q4032313$3613F96E-7FFC-412B-ACDA-E1241D5EBC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5363f466b4ccff8c9cd148c5c03556b58e82a81c","datavalue":{"value":{"amount":"+0.820159375667572","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":"Q4032313$E4CE1614-64D0-4EF4-B253-8CAF7144FDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead145520a3035d1c255e985b2776ba0e96d0084","datavalue":{"value":{"entity-type":"item","numeric-id":1097264,"id":"Q1097264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d489246e65c6778e7623beac4be316f8091454","datavalue":{"value":{"amount":"+0.8148344159126282","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":"Q4032313$18F23DDF-CA9B-4FB4-B2DA-7D1A2FDC27BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032313"}}}}}