{"entities":{"Q4951009":{"pageid":6980591,"ns":120,"title":"Item:Q4951009","lastrevid":46918785,"modified":"2025-12-25T20:45:19Z","type":"item","id":"Q4951009","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1437515"}},"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":"Q4951009$42131E77-C895-4DAF-8E1D-9AEBD9AFFEE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21063e2d4ffdd5ff8cbe83d3690aa7298986b08d","datavalue":{"value":"0958.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951009$A25D1D79-BB79-4787-9BBD-B5D86292FD32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24bb105dde4d65be3629e6abe6f4699cc64e990","datavalue":{"value":{"entity-type":"item","numeric-id":1403204,"id":"Q1403204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4951009$AA5F2CC4-9051-4FA1-8ED6-0F3EE58131EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1fc2a28f9ebfd807a4e3ead67c837774933054","datavalue":{"value":{"entity-type":"item","numeric-id":4951008,"id":"Q4951008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4951009$C6E08F60-843C-48C9-A5BA-223EEA302FE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe8a530d976b07eb2b8dc09fcd2b5eceddfd2f41","datavalue":{"value":{"time":"+2001-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4951009$89010251-A924-4E45-A5E1-8D7F8CABE24A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951009$2FBA24BA-B618-4F9D-8412-D6CF04F57116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951009$E03F4C9E-730A-408A-9432-3B8AAFB5C6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951009$7CA6A1A5-87C7-4A2D-A334-201F79CCCF1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419b01dbb17a5c0c9840541c80d3f3ae3b1fc0ac","datavalue":{"value":"1437515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4951009$1EB925A0-E8AB-4370-8DFB-7C769D277EA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed27b2c21784d44224ccd7b95218b73981702d2","datavalue":{"value":"step bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951009$004B118A-9C7C-496E-9160-2E43216406D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951009$0F7B1DDE-893E-4F12-B21E-D6514C7E13AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951009$408591DE-4C0E-49B6-9FDA-6D6D2354BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1348a846d6708040dbfc28f9db7cfc212dce8661","datavalue":{"value":"Kanellakis-Smolka algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4951009$7AC79BAA-8B96-4857-9872-0ED2F6DC3810","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":"Q4951009$9A683091-A2C5-47D0-96F4-A1215DF0C2EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a525f78eaf2cee5a861e6816b7dd7651722273","datavalue":{"value":{"entity-type":"item","numeric-id":840067,"id":"Q840067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58319b383159c95b2bd567be83da93fb42eebc81","datavalue":{"value":{"amount":"+0.8081160187721252","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":"Q4951009$092E2BBF-27FC-45F1-A286-F6AF468033AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5efd3be9d023a39ce39fbc3206565d4891ba64cd","datavalue":{"value":{"entity-type":"item","numeric-id":3814821,"id":"Q3814821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5276ab77ac2c169e360b6fda34e3904a0542f420","datavalue":{"value":{"amount":"+0.7961980700492859","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":"Q4951009$83C62F5F-1398-433A-BFA9-8137529EF066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3519e6b4ff00b2039a560c273dfe47f9a511510","datavalue":{"value":{"entity-type":"item","numeric-id":5712297,"id":"Q5712297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f45a385dddffa69064ff3acfde280f68fe608d2","datavalue":{"value":{"amount":"+0.7777363061904907","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":"Q4951009$0DC072BA-941E-4FEA-B2FE-51C73A802D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9e382fb056f06628bfaf0d5f394b7c0baae8fa","datavalue":{"value":{"entity-type":"item","numeric-id":4037125,"id":"Q4037125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99494e049a0343d0e94f0d12a46e843c753aafaa","datavalue":{"value":{"amount":"+0.7751575708389282","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":"Q4951009$573BE3EA-EAD7-4797-A366-B4EDF6486C2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4951009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4951009"}}}}}