{"entities":{"Q2865063":{"pageid":2875783,"ns":120,"title":"Item:Q2865063","lastrevid":79622570,"modified":"2026-05-06T14:20:45Z","type":"item","id":"Q2865063","labels":{"en":{"language":"en","value":"Priced timed Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234193"}},"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":"Q2865063$474A1863-1437-47F9-B460-608CB8D20EC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"245ab493fe289a2b1fb6f73adcaf064b5a6c0877","datavalue":{"value":"1314.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$C60DE69C-6B40-46A2-B646-BE5A6BF8E14F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"653c65f6ca2977c42d0b080a8a028228aca596d6","datavalue":{"value":"10.2168/LMCS-9(4:10)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$8C88A76A-EB58-480E-BE51-D9223BC5A6FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865063$4FE9D6DF-21D6-428E-B78B-3AC7D78D305B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2865063$F6B1E4BC-BC7D-4FC6-8199-14AAE946C717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1063e0b9652c94cef6735158612ec27b815cd439","datavalue":{"value":"https://arxiv.org/abs/1307.2570","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865063$D4046B89-2D3F-4B56-A809-E0F7DD5699FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$5A84C369-07E7-47AA-8936-B3D2F0ADA843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$880AFF73-D28C-4C17-9277-69DCECF875CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$63D62074-584F-47CF-BB5F-A07A4B6A6EDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cf311574f4b057d67a1cd8ab220e63dcc19cc6f","datavalue":{"value":"6234193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$0825E078-89AA-4347-BA8A-D30A553E0199","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865063$2D78E650-D12B-4449-9A1E-BA0F4328B0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865063$A75B1489-2611-4068-AD5F-D3FAF534A6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865063$8BDA3782-2E51-4A20-8D12-861D6C94447A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865063$EB848C26-F06E-4E16-8089-1F5DE2CE8E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865063$439C3D76-845C-4B1A-86D1-679B1CAB352A","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":"Q2865063$F2921A34-454D-43C3-AAAF-42D55628DCAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d78c349cabca6f7ca58928c51b60d1a493039c","datavalue":{"value":"W2110309174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865063$BDED2B53-9961-4AEB-82F1-8CDC0C9CB1DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d527dbc77efc5fed45d0592ba13d3d693acd29a","datavalue":{"value":{"text":"Priced timed Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865063$2E9EBA9F-6A42-48E3-8606-81D0F154DAE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905960aeebdc29072ef8335172a0602114bc4b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3617740,"id":"Q3617740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f829de93e471fb568115179e67c904a9d4ed31af","datavalue":{"value":{"amount":"+0.925861954689026","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":"Q2865063$174A7D5B-6F2C-465F-AAED-63D050729A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5e52505032d2463f6abd2a6fbc3ac5ebaaea4c","datavalue":{"value":{"entity-type":"item","numeric-id":3388706,"id":"Q3388706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6516aff31ff901227b9969000a89d9d0d091a74","datavalue":{"value":{"amount":"+0.918721318244934","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":"Q2865063$E03EAC8A-AE6B-44C2-880A-A95475ED9A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf953bd1753cb3cd947ec5b49765aa61c22bee","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaad7f5d60cd825242df398ff68533bbd66d6dac","datavalue":{"value":{"amount":"+0.8352085947990417","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":"Q2865063$57DF17F0-D35C-4864-A26B-0163EE696265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c8c966a9c74bdf4e9de1186ee9488dba1e567d","datavalue":{"value":{"entity-type":"item","numeric-id":3431088,"id":"Q3431088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9fca06437f1603b894f84af8ff1660a650ed99","datavalue":{"value":{"amount":"+0.8313114047050476","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":"Q2865063$9FF42FD4-71A2-438F-92AB-BE91FB495A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffd32b795a4f6c9cbef040acd54d7bddcd14fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1683438,"id":"Q1683438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1ff86b90fc7141fb8cb1b73e1b9ad9f54d437c","datavalue":{"value":{"amount":"+0.8178802728652954","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":"Q2865063$EC37C979-ABB4-4A98-AC57-A904C56C56FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priced timed Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Priced_timed_Petri_nets"}}}}}