{"entities":{"Q2849443":{"pageid":2860163,"ns":120,"title":"Item:Q2849443","lastrevid":51825776,"modified":"2026-01-20T05:52:00Z","type":"item","id":"Q2849443","labels":{"en":{"language":"en","value":"Using integer time steps for checking branching time properties of time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208966"}},"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":"Q2849443$9EE2D065-0AA0-460B-8E90-9AD47C8C1FE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b7f3e5fcc527fabc57edb922f6b18883a46ede","datavalue":{"value":{"text":"Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849443$18854022-7EF4-4DBE-AC14-4BF5D89C14B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38e2fcac35b0b2a36b3832a677c7ef0935068e3b","datavalue":{"value":"1395.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849443$B53011BC-097B-4821-A6F0-BCB1275C2D22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb11a743b37090a73a9234501f9e9316c31febbc","datavalue":{"value":"10.1007/978-3-642-40465-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849443$2D0B05BC-CCC5-4E08-A02E-7DA8BB0BA060","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"165bda94486643ef87c61cfffc69bf425ca518f5","datavalue":{"value":{"entity-type":"item","numeric-id":2849442,"id":"Q2849442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849443$D12E9CBC-6136-481A-AA20-DE2392F00057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849443$E2244965-EB38-489A-B750-C6152C765518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849443$19EA8638-68E1-44AF-801D-EFF7DE245B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849443$6629D992-C289-4BE9-A950-CEED8EDFF3DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9419ccdfc8b7c4f04b1636e8a4cf8998a920ed67","datavalue":{"value":{"entity-type":"item","numeric-id":2849438,"id":"Q2849438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849443$665EEC35-C157-4EFB-9206-CF9AB7FCB95D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849443$AD70EB7A-D43B-49A3-9FD4-F6710FD47275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849443$010BE083-48D6-4E19-BF70-C1DE19C8C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849443$A7570CBC-40E8-4AA5-A2FD-BE024E13A18B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe1c33d6aff71e4254db798d964dc795a4a7dc23","datavalue":{"value":"6208966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849443$F3B9410E-4534-4F68-9AC2-B441075F74B1","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":"Q2849443$7E473796-3FCB-4954-A072-C715F489CF35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09cc250a42e3b5d4bffd79f2c6ec47d3b5e9438d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40465-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849443$2A13D869-E3C1-43A1-94FD-2E523D35FCD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe5851e506ca749d505a2ed8621bc0d8fab07c31","datavalue":{"value":"W2210345597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849443$8AC828FA-2994-446E-8E86-5EF6B8E326BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf4f5f5ea625b7c8282006bc5cf9d9d7908d04d","datavalue":{"value":{"entity-type":"item","numeric-id":4535185,"id":"Q4535185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8c35680a2c0a53dcb422f5e64645b9eabbd168","datavalue":{"value":{"amount":"+0.7999967932701111","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":"Q2849443$0FDFBDD5-B1F3-45E8-B45D-524746287C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d58862011788cbc7ae7e612207ceadcdaef80d","datavalue":{"value":{"entity-type":"item","numeric-id":3081898,"id":"Q3081898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5febecc2e9ad57653ec5a053ed62d18674b7bb","datavalue":{"value":{"amount":"+0.7938410639762878","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":"Q2849443$DC8E02A0-7DA7-41B2-83C3-760450E6B37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d963e072c1f2a107fe1d2df9bfa97e4d16e34d","datavalue":{"value":{"amount":"+0.7881118059158325","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":"Q2849443$4A65C9AF-FC68-4461-BA50-C6F8CA395514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0398bb42b3568d2f454a8583b5ba66446c6b8b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4934360,"id":"Q4934360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9109dd2f0707ee8da0457cc8582118f02b986d","datavalue":{"value":{"amount":"+0.7806372046470642","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":"Q2849443$C8D7EFCF-1DD8-4885-9322-758A567FF2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6772dd4ed6a93faf5dea75aebe1f3d266561","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48bb867246866632c639764b99261737a70e961","datavalue":{"value":{"amount":"+0.7770196199417114","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":"Q2849443$D8855144-8043-4516-B671-3920D6BEB853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849443"}}}}}