{"entities":{"Q1255320":{"pageid":1266070,"ns":120,"title":"Item:Q1255320","lastrevid":70010304,"modified":"2026-04-13T11:49:47Z","type":"item","id":"Q1255320","labels":{"en":{"language":"en","value":"Analysis of Petri nets by stepwise refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3622957"}},"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":"Q1255320$828E7CF4-6D8E-4671-A0FF-E0FD0B3AE038","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ad128d43738947a3b9f9ea71efd2fbbe192a0f0","datavalue":{"value":{"text":"Analysis of Petri nets by stepwise refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1255320$B4FDF04C-6058-44B1-95E9-DB212340B235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2c839058eb09978605e36150551bd37f6a91049","datavalue":{"value":"0401.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255320$42935DDB-4DCB-401A-A931-C67D93A2D452","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71aae5b311768a94cb686bd675de14ec567527d0","datavalue":{"value":"10.1016/0022-0000(79)90050-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255320$410D323C-E708-4188-88E1-131B5DD73E4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$43B2B77D-D1FF-42A9-AB23-A1492C8A6B90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$80D4A0C5-6A7D-4A1A-9195-189A70FBA47B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1255320$DDD7C973-6AA7-426B-BD8E-67C46A5D5A4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255320$678FBB4E-A647-40A3-BED0-5225D536DCBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7f79bc15bd7b428617fc3de01de85e79b26476b","datavalue":{"value":"3622957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255320$C5A3F79E-55F4-4059-8967-6EA2B773271B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c1eccf591e9e7c1644dc7956aea4aaaed65939","datavalue":{"value":"Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255320$D8AA1FEA-3FE6-4BC0-A28E-CE2205E278A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c84f18049eaf9b764755a0cf577c4f14c8a444","datavalue":{"value":"Boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255320$16D86700-EFC8-46A6-A00F-829D1390294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee47f00ce5d29c5c11c2736604a1a27f89258ee","datavalue":{"value":"Liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1255320$609FF6F7-31B2-4F9A-A0D7-3508E28FB4B5","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":"Q1255320$741A1F1A-F50A-42A4-8C2B-EA8F31ABB98A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d376dccdc41d0f3bb23d773f06e3be731f367c2c","datavalue":{"value":"https://doi.org/10.1016/0022-0000(79)90050-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1255320$EFFBEC45-858E-4DC8-9CC3-7F4FD19819FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"050909be92aa813a6ab3c37ce34a36c3b2b267fa","datavalue":{"value":"W1980926994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1255320$AB3212DC-B72D-4346-8060-3FE0A9158D79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2cf13def9728830914391283cbcde4ac588578","datavalue":{"value":{"entity-type":"item","numeric-id":5632462,"id":"Q5632462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$8B04F453-65D4-4F97-B035-6E3D8BAC576B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$90F1AC52-1C8C-4C60-94C2-6E5CE0702610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$8A512F5E-DFB5-4332-94DB-4261ED2708EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b5fb3646b325072775e62e8857ce8e144c8ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1212350,"id":"Q1212350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$5676E495-0109-4482-A981-7649E1A97BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386b9a836814e16d1030200ba5847c9b0a81df7a","datavalue":{"value":{"entity-type":"item","numeric-id":1236890,"id":"Q1236890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$AEA2C616-C1D9-4810-BC3E-88E4E840F885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3a9d6ccf8de789cd305b27b6e6069a5b760913","datavalue":{"value":{"entity-type":"item","numeric-id":3766863,"id":"Q3766863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$EFE7C79B-BB13-4484-A635-9D5243331F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6bb28b6f6aad6c6557eb315ce0d5403f1b0ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4058886,"id":"Q4058886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1255320$A56421EC-C479-4FD6-9897-2A8B1D8A15F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of Petri nets by stepwise refinements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_of_Petri_nets_by_stepwise_refinements"}}}}}