{"entities":{"Q4250360":{"pageid":6279961,"ns":120,"title":"Item:Q4250360","lastrevid":46824888,"modified":"2025-12-25T16:18:52Z","type":"item","id":"Q4250360","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303725"}},"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":"Q4250360$AFB772E5-9B15-4F40-BBD2-4E05EB0F9FA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fa25fd9836fe730f53834c610f9c3a765b81de8","datavalue":{"value":"0929.94034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250360$06B63800-926D-42F4-AF53-08059BC9FE0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd83aeda51e0324d5f919dd80bd93683eacb0269","datavalue":{"value":{"entity-type":"item","numeric-id":2754123,"id":"Q2754123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250360$9C471CA9-5E21-44B2-8C11-818BCA870D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9d4b86b13684613d4b5a30e0f59bf802cd1aee","datavalue":{"value":{"entity-type":"item","numeric-id":611663,"id":"Q611663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250360$48A797C5-C875-46AB-AD8E-C9DCD4893F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1335099d9672ef506b169e85b3224e460a539db5","datavalue":{"value":{"entity-type":"item","numeric-id":2077758,"id":"Q2077758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250360$AB4FCF18-1251-4E77-9CBB-4297E45B012F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4ec8312668052ec347cca58ac79b3f437a67a0","datavalue":{"value":{"time":"+2000-02-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":"Q4250360$9979BA6F-73C4-4EF9-858B-27E56DB31143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250360$F90CF64F-7057-417A-91B4-ECB7F03B6914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250360$D48770BE-F465-4C7C-9280-A9CDFC070D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a61fa91a4791e096e164364bde8de6c6db80d7f","datavalue":{"value":"1303725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250360$F45C8B1C-738E-4C03-97CB-8A7F4BF90D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc702661019973d06806af3c6d653d54eed8ecf","datavalue":{"value":"computer aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250360$74F21EAA-C3F9-4673-A033-785FEC91C638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db9f4e50b2b1d13013c7b761b1bab0920cbfa0a","datavalue":{"value":"trace theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250360$9A42BE1F-407E-4CF7-81B0-D9AA36EE8B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45607c210571a882e17b7a6cb3c6276f3e86db23","datavalue":{"value":"bounded delay asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250360$512F1D2B-0E0B-4165-A6F9-AA4F6E869EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250360$2F62240A-0DD9-4EBE-A47B-6438D1E81AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeac81ac937bde09aa4504f547c62c96758e46c9","datavalue":{"value":"explicit state-exploration algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250360$67EDBBDD-9E38-4591-BA1C-474DCBD04C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250360$28E94A8B-6F32-485B-B1BD-EAA889BE3912","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":"Q4250360$DF2CE11E-64E7-474D-BBB0-1E6708466D75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50a1ce7474299f5072acfae2a1a17f313ec0550","datavalue":{"value":{"amount":"+0.8314570188522339","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":"Q4250360$C4592D58-D410-45D6-8108-CCFA0B802D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676a063abcc98d94d081f6dc822c733bbe4e3ae7","datavalue":{"value":{"amount":"+0.8251680731773376","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":"Q4250360$4D8207CC-F73D-4659-8A69-8A2C265B53D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f22eb12c7540f8a6fc47a3fe3a5a56408bf64","datavalue":{"value":{"entity-type":"item","numeric-id":5431924,"id":"Q5431924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0255a32b7cd7cfde95c33ac00a01c99c29e6b143","datavalue":{"value":{"amount":"+0.8138391971588135","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":"Q4250360$87FEE7A7-3F00-4344-8666-99FC66824FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b4951756c4d9053bacb89c75b51eb855bace55","datavalue":{"value":{"amount":"+0.8092701435089111","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":"Q4250360$86A5930E-E1A0-4725-93F9-85C6D1BD8DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8adbe20bcab8f0440494c0edd7c0a3f88ca12ea","datavalue":{"value":{"entity-type":"item","numeric-id":5096372,"id":"Q5096372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e0da50416fed432c2ed89a2acb96faae48d755","datavalue":{"value":{"amount":"+0.8050678372383118","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":"Q4250360$0E8B1E41-F1B1-4FDA-B0D7-2286EE77AA3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250360"}}}}}