{"entities":{"Q5403468":{"pageid":7433042,"ns":120,"title":"Item:Q5403468","lastrevid":75508765,"modified":"2026-04-19T07:42:12Z","type":"item","id":"Q5403468","labels":{"en":{"language":"en","value":"Experimenting Formal Proofs of Petri Nets Refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274301"}},"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":"Q5403468$5A37DCD7-26CE-4316-BEEA-24D011F85B88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af92941cbae60fe13b8e61426381a68d378a4d54","datavalue":{"value":{"text":"Experimenting Formal Proofs of Petri Nets Refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403468$FCF4EFAC-EE31-481D-B044-B3E9604E3994","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"306b53832cd9cf206928ec198a784301d8e62114","datavalue":{"value":"1283.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$EF6038D9-C0E8-4515-B167-AB5DA267DC37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0780c10b7b2f39c3a70c06dcbfe7b2d4edd10320","datavalue":{"value":{"entity-type":"item","numeric-id":315306,"id":"Q315306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$292CA9B1-8E50-4B10-8FB1-CAC62E7CA0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e90650eb35b029d984e93a1c13f44e760c54facf","datavalue":{"value":{"entity-type":"item","numeric-id":352950,"id":"Q352950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$4BBCCC79-6669-4D04-A4EF-89743C9962AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$8014C2FF-BE72-4C1C-A38B-481625E2BB7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$5B19FD33-0542-4BDB-B069-65499F646D0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403468$6D61A195-523E-4659-90F0-67182790D732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$E9403694-7A08-4881-8863-385C29D1411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$EFEE55CA-2F14-446E-887A-16D9DC06D6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$24C82ABA-A327-46D5-8FAB-1C97F1DEDB12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52c5ecfbfa55057c82add5e9ccd91d30428b957a","datavalue":{"value":"6274301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$B7AF5CC8-AE7E-43B1-8EC4-94B474C51EB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403468$5B876D33-5A2A-4EAD-8214-9912F4D132CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403468$8351B7F3-0F36-4BCC-BB45-24BEC54B9F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403468$C3E7543F-9BAF-438B-8A8C-353BF010AC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403468$82E8DEC5-8142-4532-89E6-76581D79A204","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$739EF119-FDFD-4AE5-9A19-373E30CD1E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$3E284697-ACB9-46C5-85A1-C8A0ABCD0D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fb99985c1975caa9f8b425367205b1e95bb70f1","datavalue":{"value":{"entity-type":"item","numeric-id":15790,"id":"Q15790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$6D302B5A-0614-4B28-86AA-0E7DFF29AC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$6D96D8CD-6C6B-4ABA-B573-73730BEADBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$24EF573B-1D2A-4966-9F2F-4EAAC8168C96","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":"Q5403468$F8378FE4-69A2-4D69-9A43-A2E0394CF788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8c3892c4d5106e13ff5c03b80bcbd0bc856f5b1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403468$85B22BFD-A6C1-4998-BF82-92C800E290A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19d984c90e95ff315bd2484f55ab3a3f25a18530","datavalue":{"value":"W2018476511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$A3E6A5F8-749F-4E14-A573-7674CBE1D7E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$0A3AD0AF-785C-464D-B7AB-C4C0A663699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$25BF189C-08CC-476A-A046-29A0D9C0C032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$40D7FD3C-4799-4D53-B284-1F6AEBF06E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50059e8e1b6fd884ee17d2bf5d3eea2af941ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023496,"id":"Q4023496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$883E7A18-8A98-4A50-8794-C49283D2A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df03f4f777d1a052ea134f2a00c2b1a7b3efc95","datavalue":{"value":{"entity-type":"item","numeric-id":4535182,"id":"Q4535182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$38ACC924-94DC-48B8-93F6-8EB02D043164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$81EBC88F-DBB9-4577-899E-604738F5E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403468$BEB5860F-4CB4-4067-9FC5-AFC0FB194067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ffc4f55b473d30151e9075d0f8e546e890866f","datavalue":{"value":"10.1016/J.ENTCS.2008.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403468$071EE6BF-8A6B-402B-ADEC-9885AF85282C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99223720c8dc75f1875f9e1a729c106783ae05ba","datavalue":{"value":{"entity-type":"item","numeric-id":5451165,"id":"Q5451165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656b25f8a8e21e54d35c26de6c4d2d70a718b246","datavalue":{"value":{"amount":"+0.91002744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403468$BD095504-D5E5-437E-BD73-E1C668C20C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4069b9d5b2be11fc4750339cdfa5def8677a3ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3696526,"id":"Q3696526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5bc30696569fdb336105b73281f7954ac03368","datavalue":{"value":{"amount":"+0.9015319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403468$C3BFBB12-02BA-47EC-BB8E-2673F4A99CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdba5a043588104338fe351caedc8e51d3a354f","datavalue":{"value":{"amount":"+0.88541937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403468$9FEE9783-5355-4B31-9B1F-513E5C759A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe21da4bdb9647555fc6a4e9d3b37dadc50232d4","datavalue":{"value":{"entity-type":"item","numeric-id":4720790,"id":"Q4720790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7d6d603fd95dd78485d95e5e7307d0923c5e4d","datavalue":{"value":{"amount":"+0.87986475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403468$CF7D1F4F-7403-4C1C-9D15-38F42166A3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1929f5785aebf2d97a012f7b4238ba5c0c4598cd","datavalue":{"value":{"entity-type":"item","numeric-id":530854,"id":"Q530854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677e1f12b3a7965e148b8fc696982ad8b8780f4b","datavalue":{"value":{"amount":"+0.87931263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403468$9E886D0F-6E23-4326-A9C1-DFCB64ECFD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82986f4543a8b3cbd292a6d570e9b86223d3dea","datavalue":{"value":{"entity-type":"item","numeric-id":4263305,"id":"Q4263305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e060a84805a876224920d4960c42f2fb9307aae","datavalue":{"value":{"amount":"+0.8744291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5403468$F435076F-F2DB-4222-A887-18486997DCBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experimenting Formal Proofs of Petri Nets Refinements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experimenting_Formal_Proofs_of_Petri_Nets_Refinements"}}}}}