{"entities":{"Q5451165":{"pageid":7480724,"ns":120,"title":"Item:Q5451165","lastrevid":50309492,"modified":"2026-01-13T19:25:11Z","type":"item","id":"Q5451165","labels":{"en":{"language":"en","value":"Refining and verifying regular Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5250491"}},"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":"Q5451165$0F920EF4-E38B-4CF1-8316-B002E3C76507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47166cadc7fe6ece2c8909321418f588b80d5a7a","datavalue":{"value":{"text":"Refining and verifying regular Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5451165$7AA8614C-4AC8-4A12-A5EB-2F2FCEC9D607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b79252ffd5b84d13ea1d969a79e81c2547a2f799","datavalue":{"value":"1138.93036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$0AE44779-7145-4204-AA68-8F5695CE9600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fef52adaf7e7336cc18cb9d80b48908a8c68822","datavalue":{"value":"10.1080/00207720701621959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$B60D1046-60CC-4007-B4CE-3698DC062DEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$5C1524CB-23BD-4047-9745-D55E16CF5F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8aa7aa3a26128a7d9920918d3814f181c8274e7","datavalue":{"value":{"time":"+2008-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5451165$7FB99191-5BC1-4BE4-99CC-7536201D83E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$0A476D1E-05E0-4F6E-9280-79292542643B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$8C2910DF-5071-40F4-BFC7-0757974C28D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$0EE6284B-BE91-4F9A-9AEA-E89C9CC5590E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"416041eb60345678f6735510c7a3202d96314968","datavalue":{"value":"5250491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$053FEDF8-2960-47F3-A28B-3A0611DE3FF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451165$CA55D502-D260-476F-9AAB-383F10B4E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451165$C1419A17-7ABB-41E9-95A5-0E8D30C633C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451165$81205A6C-E5EB-4F22-B50D-28621C9033AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451165$E80F316D-54C4-41C0-8E59-485A5C310683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451165$B3D4FB6E-C6E7-4F85-A2B7-D57B21E823B8","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":"Q5451165$C2095462-85BC-472A-BE2C-331F6693D1E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5fcf0957cb4d856a82dcd3b682e2c4fdb465ac5","datavalue":{"value":"https://doi.org/10.1080/00207720701621959","type":"string"},"datatype":"url"},"type":"statement","id":"Q5451165$829A7D7D-1D4B-4189-AF95-27B1B50C2717","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e732398759d4302e1f32edd177a9e625cfa870b5","datavalue":{"value":"W2008846552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451165$AB9419E6-B9B8-4A52-8F20-6EE2649BF068","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$3B2D0405-8BA0-4A9A-ACFF-24AF4D630E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236e482b12aaeb9eb7fb46ce714229939fa7bc2f","datavalue":{"value":{"entity-type":"item","numeric-id":703482,"id":"Q703482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$49786964-D5B5-4996-AE3E-283FC2B1C8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baadab6a03e967a89b9eebc9da77c0af61b28b02","datavalue":{"value":{"entity-type":"item","numeric-id":4202493,"id":"Q4202493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$E2EF5743-0994-428A-BD44-26FE19C67E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea1bb852c614355bc8c819cf04e78e29f144a68","datavalue":{"value":{"entity-type":"item","numeric-id":4506619,"id":"Q4506619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$867181B2-EA4F-400A-9151-4467BED9E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b4f7becbf698a8ab3e25ac05450f080c64a02c","datavalue":{"value":{"entity-type":"item","numeric-id":1052100,"id":"Q1052100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$81EB662D-A8D3-4E5C-9B0A-F56B84BBFE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc185177e28d994f8be6138e0d39e30fa75870","datavalue":{"value":{"entity-type":"item","numeric-id":1255320,"id":"Q1255320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$AC178E3F-0E71-4F9B-A0C3-06AE952DC413","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451165$E6EE58F0-CCAB-49C6-B8F2-50B0901F7F3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18fd2025d0f2406ba8ccc2f21b7ff547a005967c","datavalue":{"value":{"entity-type":"item","numeric-id":5469518,"id":"Q5469518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a6e0b4eaceda22bc2d074f5f5c98650cda1324","datavalue":{"value":{"amount":"+0.8848751783370972","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":"Q5451165$1B7DDFE7-1314-45E1-A62A-1752C4D12755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18781f83c88b46ccee03b3fe9017d19dce4ea300","datavalue":{"value":{"entity-type":"item","numeric-id":703482,"id":"Q703482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6be01dd5810c6085697aff3b6acabbb2de06f4","datavalue":{"value":{"amount":"+0.865167498588562","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":"Q5451165$EF6713D7-F87E-4533-859A-7812975252E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10922d350b12bea684e10a062fd5c26804b1291","datavalue":{"value":{"entity-type":"item","numeric-id":3785958,"id":"Q3785958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db062b535d8630e39e8f0f7d48804e8f1b5a8c4f","datavalue":{"value":{"amount":"+0.8245069980621338","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":"Q5451165$A3E77F9A-6434-4F69-B48B-ED09431EB0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3e3c727bf844481dff2b25fc099e0e0ba35f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5392161,"id":"Q5392161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6c7233042d1c207d704251adb7563b020d67a3","datavalue":{"value":{"amount":"+0.8150040507316589","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":"Q5451165$F5F440E7-FD02-4791-82A5-0FC702128FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad30224d2d0b884b5206f386c09bf5b36eabee","datavalue":{"value":{"entity-type":"item","numeric-id":3513940,"id":"Q3513940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7c08da8b997be1b299053ad20f42dad76b88ce","datavalue":{"value":{"amount":"+0.8057451248168945","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":"Q5451165$7CECE842-3402-4D14-88B8-AA78CDF71255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5451165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5451165"}}}}}