{"entities":{"Q4684078":{"pageid":6713659,"ns":120,"title":"Item:Q4684078","lastrevid":89949227,"modified":"2026-06-04T18:41:53Z","type":"item","id":"Q4684078","labels":{"en":{"language":"en","value":"Proof by model: a new knowledge-based reachability analysis methodology for Petri net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944648"}},"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":"Q4684078$354FE816-4E8F-48CB-9E1B-755255C401C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a9aceab310c8da9f77409c1bf5d9fa2a1f0090","datavalue":{"value":{"text":"Proof by model: a new knowledge-based reachability analysis methodology for Petri net","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4684078$5E355C2F-1C6D-45DD-ADBB-F379166A070E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a37d8340e37ed65f8b1202dc7161d51bb847469","datavalue":{"value":"1397.93134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684078$B1410465-772A-436F-BBF9-F34B898273E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba55440e1e3bc08507ee42b456a18870d7011a93","datavalue":{"value":{"entity-type":"item","numeric-id":2747755,"id":"Q2747755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684078$E3CF9393-4A1D-40D6-BD56-CEAABA512608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2bac000feab171307c8c985fab6ce0f6f156b13","datavalue":{"value":{"entity-type":"item","numeric-id":4684075,"id":"Q4684075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684078$1B89610B-4345-47E6-B3A7-98D75835A00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"848a593283779b03c89b38cc9cd3554b4471147f","datavalue":{"value":{"entity-type":"item","numeric-id":2792706,"id":"Q2792706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684078$5BC89082-03DB-4652-8C7A-A9E8E00E4594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b96bec1b5ac39718f64373468659d7491107787","datavalue":{"value":{"entity-type":"item","numeric-id":4684076,"id":"Q4684076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684078$699473E5-4118-430D-B8C8-B33A2AED1F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aed6c0a9feb206aca4073199f8c6661d9c97dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4684077,"id":"Q4684077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684078$E405882F-E8FF-4DCD-BC92-0F0B77B8BA55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f7267980b4a5f1c99f351d145cb107ed9d869b02","datavalue":{"value":{"entity-type":"item","numeric-id":2703073,"id":"Q2703073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4684078$1032A77E-E6DD-49F5-8583-DE3B37E750AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4684078$555C49A7-CD6C-48C5-9280-A33C641F290B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684078$F55456D1-18BF-432B-B252-9873CAA9AB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684078$3E1D3111-7820-4CF9-8096-51EF50BFBF99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c391c29b02d7a93a4310f73001dcd2150c936d4","datavalue":{"value":"6944648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684078$C07B9CA7-110D-4029-A7D2-78D77160072A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4684078$6A8EB794-E67C-4D04-BEFB-0523E805A3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4684078$446B1FD2-1EBD-4590-8D28-39CC0EF563C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2081bcfba7e80a4b962f32600bafb172c2a4b3da","datavalue":{"value":"flexible manufacturing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4684078$B481229A-694B-4B40-A4CE-770AD55A080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4684078$0219C3DD-FAB6-4952-BCED-050FBE2654FD","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":"Q4684078$6F926338-442D-4F7A-993F-AAC9CDCED863","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b5babfabd5ffab4c9b8541d5cb53704aff52618","datavalue":{"value":"https://doi.org/10.1093/imamci/dnw025","type":"string"},"datatype":"url"},"type":"statement","id":"Q4684078$0AD01DB9-905C-4BE1-B4A4-66CF9EE307A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"910b82c3e37efbbb38782a4b4e63fb40b56c0c48","datavalue":{"value":"W2471177659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684078$9D497D92-61C5-49FA-8459-D06BA44E0B85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60232b211400b19bd3f2262151acca16f46743e8","datavalue":{"value":"10.1093/IMAMCI/DNW025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4684078$2C8E0EC2-5D29-4531-8CE6-053D0ABAABEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbc9ba4180a6d2f6a294eaf1dba353bc08ae4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4823615,"id":"Q4823615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62099269ac5bab15ac34cbcc1608ef02c2779d2","datavalue":{"value":{"amount":"+0.775030255317688","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":"Q4684078$3076C3C7-9D5D-4C2D-9E64-AB4B0CB251C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9805e5561b12155c762ef0d3730442b37f39c3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5043516,"id":"Q5043516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c553cc0e140a4051812458493e14101aace6d97","datavalue":{"value":{"amount":"+0.7660759687423706","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":"Q4684078$591CA834-E600-416F-A8E1-E9A98687D648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40581379a912593b1a051b9148e2cd09a66e81aa","datavalue":{"value":{"entity-type":"item","numeric-id":644287,"id":"Q644287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5713ee8ca3fea58a77bf645d835531985df85849","datavalue":{"value":{"amount":"+0.7625969052314758","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":"Q4684078$985CD537-7FC0-48FB-81F8-BBA536A0ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262fec97e9feda3ac1942d2b81193a1f4503aac7","datavalue":{"value":{"entity-type":"item","numeric-id":3465820,"id":"Q3465820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e42f94e4bfb5f2b22008ad8d00a46d52ab10d4","datavalue":{"value":{"amount":"+0.7579736709594727","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":"Q4684078$0A80D49F-9341-4CBA-A0D6-2B240856E821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c4b3556cb2d9f44feb245eb68d1ab7ad94af3","datavalue":{"value":{"entity-type":"item","numeric-id":4461757,"id":"Q4461757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6172556b0d47f54b6ed06d73d52a3be646bb50d2","datavalue":{"value":{"amount":"+0.7547910213470459","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":"Q4684078$B9C1D06B-855D-4145-954F-F286427FD9DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof by model: a new knowledge-based reachability analysis methodology for Petri net","badges":[]}}}}}