{"entities":{"Q1377301":{"pageid":1388041,"ns":120,"title":"Item:Q1377301","lastrevid":70284222,"modified":"2026-04-13T13:43:54Z","type":"item","id":"Q1377301","labels":{"en":{"language":"en","value":"Petri net based verification of distributed algorithms: An example"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1112357"}},"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":"Q1377301$092BEEC4-AEF8-4B12-87BC-A677525C1264","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ecbb33275073cd1e9252ddc35e131d97f32c0c4","datavalue":{"value":{"text":"Petri net based verification of distributed algorithms: An example","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377301$BFF9BA13-3E27-4B13-BB3E-012ABD602FD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d9dbb7da90cc760d8a3269fcee0ee2a1d34d6b4","datavalue":{"value":"0889.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377301$CA7BAEA2-20C6-4186-B296-1061D5687ED6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"753efe7e68862146e33463a70262a01fdc2fe4d2","datavalue":{"value":"10.1007/BF01211299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377301$8615B8F7-AA51-444D-815C-9BE369C118F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7e622b24ad02befeb4046612fade89b392cebb","datavalue":{"value":{"entity-type":"item","numeric-id":590540,"id":"Q590540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$01311C25-B34E-410E-8385-59BA022D5D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c1e78fea93d106084a694fc605d5f70bc86eb4","datavalue":{"value":{"entity-type":"item","numeric-id":594596,"id":"Q594596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$950AECA9-F62E-44E7-B948-E69E9E8322AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78d6fc001ab88727821b933f1e27433662e232f","datavalue":{"value":{"entity-type":"item","numeric-id":834900,"id":"Q834900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$8DD299B9-1BBD-42E0-BB8F-503647AD9715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8d8afcab197f2e81a4754104ccb75982d4dab7","datavalue":{"value":{"entity-type":"item","numeric-id":287027,"id":"Q287027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$4A3F7E4F-27FA-488D-9D69-E8755663DC00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$61D1A570-E05C-400A-AF62-71026B886D54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fa0fec9b6972e0aceb387683cf418851ba7bbbf","datavalue":{"value":{"time":"+1998-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377301$15565C4C-CB4C-45EF-99BF-17A22C12A303","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377301$A298C18E-D6F5-4B78-B5B2-83C4F1393DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377301$A7799BEF-6FDC-40E6-AB0B-8D07273C41A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea69809aea824e1a3506b944278ccf680eadcfab","datavalue":{"value":"1112357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377301$41F21C9C-D2B4-444C-BBBC-CDCE57E4FBA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377301$EBE0132C-0F08-4DDF-8300-C5688D5F3795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377301$1045D4EC-E9ED-4631-8656-D7ED11B1CF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f216b799d0db5ab9c5c96da328be3f38307646d3","datavalue":{"value":"network algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377301$111C05A4-331C-4547-A163-1FE93223F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e455e88b1fe420cf551272badc09a8380b873ef8","datavalue":{"value":"echo algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377301$0B449AFC-7BBE-4C08-B01E-25295A5C1419","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$8FA55E3D-5C3D-4361-BE7A-CD8252A5B4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b63416d352770f4f8c0811340e4c96e99b8865a","datavalue":{"value":{"entity-type":"item","numeric-id":28416,"id":"Q28416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$232D132C-74AF-4C09-9F95-5B43946D0F85","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":"Q1377301$984A063B-B5FB-436A-A7EA-539845F8DE7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71372fdcb48501c76512b55e87a54968a7919d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$DCC9857C-684A-4BB0-B12F-2968C4454840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$A6B619A8-6C8C-48A4-9D23-650925EEC181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07295e2dbc4342d15d9d9da94c5b0abfab6735f","datavalue":{"value":{"entity-type":"item","numeric-id":672866,"id":"Q672866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$24D2430B-DE50-4A4A-86CB-E0783D220C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cd4c0fc1f5a8f42092f317e184d08f13e82f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3964023,"id":"Q3964023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$F03374E7-6DE7-452D-B29C-8942123C7A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$B83B59E3-9597-44D9-A40D-A03EE7DBDACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c32038601f4922565a2a5ab0c949de79e87be1","datavalue":{"value":{"entity-type":"item","numeric-id":3997127,"id":"Q3997127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$C610774A-0D1D-4804-B97D-3273D8A8080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ab51af902eba195d6ce02b867e70ba8a2a70a9","datavalue":{"value":{"entity-type":"item","numeric-id":1346611,"id":"Q1346611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$0CA9F742-B7FB-4FFE-A45D-6D5289F5F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0566d415668db9bb3d61a9252a66340084dfb65","datavalue":{"value":{"entity-type":"item","numeric-id":3313789,"id":"Q3313789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$C28D9803-DC35-4EF0-A035-006E744EC580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69365009d9ff39699a1dff290b933e0020dbba3e","datavalue":{"value":{"entity-type":"item","numeric-id":3725535,"id":"Q3725535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$16A1ADED-8566-4E0A-9E08-E9A152A5D8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad55c99a91fa8f6b9f828213a7ae3827c897c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4325545,"id":"Q4325545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377301$CABD37F0-774B-42F1-B9D1-52A042BCE0FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1c18859da248d460967e22da829702ad14859d","datavalue":{"value":{"entity-type":"item","numeric-id":4371026,"id":"Q4371026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00995c93bb4329fb75a8dd452dfec86bcd0a6a8","datavalue":{"value":{"amount":"+0.8408902883529663","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":"Q1377301$40A79A82-E3F2-4C5A-B7C3-8A6A684D8AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491162a08cc14b20d48a2ef240e7bc9137b199f","datavalue":{"value":{"entity-type":"item","numeric-id":4372017,"id":"Q4372017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f60553c7d60791385996295bf329494e882200","datavalue":{"value":{"amount":"+0.7943949699401855","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":"Q1377301$E0BAFBEB-045E-4C2E-BFEC-7C5DEA12E279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b9b5189887c7366207a7c1588c95e87636b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":6162106,"id":"Q6162106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7039969650b8223c5ae8463ccf9be53fd502f3d4","datavalue":{"value":{"amount":"+0.7806776762008667","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":"Q1377301$281C75AA-AA9D-4D32-B447-F3B57A601E3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri net based verification of distributed algorithms: An example","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_net_based_verification_of_distributed_algorithms:_An_example"}}}}}