{"entities":{"Q5100762":{"pageid":7130338,"ns":120,"title":"Item:Q5100762","lastrevid":94278794,"modified":"2026-06-05T06:24:40Z","type":"item","id":"Q5100762","labels":{"en":{"language":"en","value":"A CTL* Model Checker for Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580944"}},"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":"Q5100762$FD7AF08D-8296-414A-B929-F151BB71D897","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47323ef5d342811ea6d07566bef082a5e42cb7ee","datavalue":{"value":{"text":"A CTL* Model Checker for Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5100762$A0935690-EC6F-41DA-98DE-B09665903B44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3575560cbc883c527b7b27bac944aa64d3ad36","datavalue":{"value":"1503.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100762$94ADA254-3803-4B0E-9404-0F409D10153E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78601416a4e0ca206231a6e27c4db1647572e7cc","datavalue":{"value":"10.1007/978-3-030-51831-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100762$60A19641-CB42-4612-AAC2-405D26E2399C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7043932eb4c915490fa05cd1f66908661e30fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1693110,"id":"Q1693110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$C257589B-82C3-493E-8113-91B10F134AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61b78f4faa8dbc44b4c5fe23f2fbabbf68783ad","datavalue":{"value":{"entity-type":"item","numeric-id":782570,"id":"Q782570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$DE5D1EA6-D36C-44BD-9C27-606270A68E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c02e18a6237e571b923fb0cbecf8eb3177567fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5100761,"id":"Q5100761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$C5E1B22E-23FB-48A2-9BB2-90CF1B24F7F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$9B40DAB2-1AFC-4662-9733-783A6845A038","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-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":"Q5100762$E63D1F8C-7B6B-46C5-A927-1F656426659F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100762$7BC1BC6E-A9B1-4FA5-8ACB-24490547DFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100762$A904479E-5AC2-437E-95B4-F8AC74A89C1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af1a439bffd255b79cbbfd8186e7339809601029","datavalue":{"value":"7580944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100762$9333A1F1-2E09-4568-A228-599AAE3436FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0808a990477362fbc297062a53ced7686a383cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1353481,"id":"Q1353481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$5AA27A0E-4A19-4239-9E91-4C94A49E9929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$9EDB6BB4-F9DA-468B-83C8-F1E93E0CEAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$5CF4B051-D359-4B9B-95E4-B0F6D92FEA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$6A7F20D9-E1CA-46FB-AF1B-327E779ED8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$9EC41B5A-EB2C-4F1A-8108-24F97C040B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$BD7CEDBE-6D91-49B6-98B1-FB60898952A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$BB5931F4-8378-4B2E-9F75-6304170494A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$895B2C1A-190F-498D-8353-980FC60E577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$99BE7A8F-2627-46CB-997B-1A560D307341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f30d092bd9392a273a20f47ef06ab4dc28e2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1856161,"id":"Q1856161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$C7AD9AB7-045B-4F4A-86F4-DE5436BF4712","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf9a903408b6198cfda3e3d9d36c631c5ce4105e","datavalue":{"value":{"entity-type":"item","numeric-id":1353481,"id":"Q1353481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$252C9B8A-E24B-4398-B1B0-746D8C8BD0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$81D56D74-5920-4CB9-9854-5BBB5B1D310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$62E563D4-C7C9-4349-BEB5-6A1858827D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$FA6F2C80-0EC2-4A90-86F0-7B6AA70A2D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"432e252b35c6afb4c35cef683180dc1f4ebf41f0","datavalue":{"value":{"entity-type":"item","numeric-id":40854,"id":"Q40854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$AD8D60F2-0799-4133-8B33-E78EF8C16D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$77BBD1E1-C39C-4424-8FAA-DF5D2D7959D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100762$DF345437-5723-45E5-9478-911807A3C0D7","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":"Q5100762$77B2DBA2-A155-4E1F-B4AA-788480C81FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d96b548038db3b49a7129e9be82302d6a67c545c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51831-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5100762$AD0DEB27-CCAE-4F14-9A0F-1FB98192B912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30d9d062ba41a3f28b1a04feb0b59a8e2ad54dd0","datavalue":{"value":"W3037724080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100762$F3FE8A20-DB42-4942-8DA2-F1BCCE27EBF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A CTL* Model Checker for Petri Nets","badges":[]}}}}}