{"entities":{"Q5310677":{"pageid":7340251,"ns":120,"title":"Item:Q5310677","lastrevid":50182700,"modified":"2026-01-13T10:29:20Z","type":"item","id":"Q5310677","labels":{"en":{"language":"en","value":"Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200147"}},"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":"Q5310677$47FCB779-BE3F-40A9-8CA2-ECDC6D895746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e0a214768851ca9b96e7054a0053a5b4bd86cde","datavalue":{"value":{"text":"Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310677$319378BF-9802-41F5-89AA-B94296C7D9C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b847ec33730f8528d4da19a6238a4adaf1a791c","datavalue":{"value":"1128.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310677$44E8F0F3-524D-429E-B592-6D33C3BE3ADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30c323ff7da4ffa0e772cf2164e83f0ee0eac1c0","datavalue":{"value":"10.2168/LMCS-3(1:1)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310677$0D2E1A31-B450-416D-AF1E-1DF3171BACD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade66a8061c2d353c32c88f85151910f32eed4b9","datavalue":{"value":{"entity-type":"item","numeric-id":2851069,"id":"Q2851069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310677$2BFC0C06-446E-4FFF-B3F7-2ADC81D7FFBE","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":"Q5310677$8EF9D4DB-4F4B-4B1F-9727-64DF935A94AD","rank":"normal"},{"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":"Q5310677$E957B7CB-517A-4C2C-9244-0BAE6AAFD4B6","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":"Q5310677$87A03E72-C151-4070-9F4B-C5A597E3FBEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310677$851575FD-EFCC-4CE7-86F3-8069B50401B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310677$FD91D41E-D42C-46BB-8EC9-F11C2A4009E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310677$B63F81BC-6C0F-4C1B-AFD4-0C545AE2BEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310677$151D8ABC-DBF5-48FE-966C-45B2B6B2AFD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7fbc79bbf9538b5711a1cf41518078a49441ae0","datavalue":{"value":"5200147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310677$FBC9BC30-BE11-4BD8-8A2A-2AFB9D9137AF","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":"Q5310677$47F4561B-E0D5-4901-B78B-94C97EBE34C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f8facac3055477a3074776e91f29385092d06e","datavalue":{"value":{"entity-type":"item","numeric-id":5465885,"id":"Q5465885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef51b2bf637a3d4a93fd6ae4d5b0a73598a499a1","datavalue":{"value":{"amount":"+0.9724043011665344","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":"Q5310677$4FC2204B-70DC-4AE4-AA59-26C6A17AEC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae5664b67c49b5e4d6006ee2f410fe379c04d29","datavalue":{"value":{"entity-type":"item","numeric-id":5166770,"id":"Q5166770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50017605b2b3549e1c1e0021f7fc03ee8ddb1e0","datavalue":{"value":{"amount":"+0.7884283661842346","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":"Q5310677$F065048F-D5F0-475A-A3F7-6B974BA97FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ba975079b1dcfaa43014b85ed3d3c0b3f028c3","datavalue":{"value":{"entity-type":"item","numeric-id":2766563,"id":"Q2766563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b2be898b9781546565abb1a6b21c58af626602","datavalue":{"value":{"amount":"+0.7838607430458069","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":"Q5310677$6B4914EB-F261-48FB-A7ED-A0557A2E96F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b459dd84b2a01410de9b03f093455840a552f37","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad10f0df1efa99144d7a5a3818950e71b740818e","datavalue":{"value":{"amount":"+0.7677167057991028","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":"Q5310677$92DA74FD-21CF-487F-89B0-1D0FFFA61AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86f899411b9f66d33655535dc8bd3ec8b15677f","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af401b734bf747d5dcd2dc5975c1a5b76ab2792e","datavalue":{"value":{"amount":"+0.7671030163764954","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":"Q5310677$BA297649-B8F2-4624-BC48-C272C6BA16FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310677"}}}}}