{"entities":{"Q5259305":{"pageid":7288873,"ns":120,"title":"Item:Q5259305","lastrevid":52292027,"modified":"2026-01-21T09:12:35Z","type":"item","id":"Q5259305","labels":{"en":{"language":"en","value":"SMT-based reachability checking for bounded time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451178"}},"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":"Q5259305$71211E44-24D3-4534-9DA3-D211E8D4FD3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb484c39144dd1cd5c3e6483e32a12a4b576ea93","datavalue":{"value":{"text":"SMT-Based Reachability Checking for Bounded Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259305$9CE7DF38-EB55-424C-8DE6-916D2070AB81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4dbe9443094992bfa20016001e1982b119ad3b1f","datavalue":{"value":"1315.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259305$65B605B3-C9A2-4B28-B48C-6EC41375E0EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"772396656a9726ee40d28e837f8f756d96c59131","datavalue":{"value":"10.3233/FI-2014-1135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259305$5094867B-9BE0-44AA-93E9-2300592BA4B5","rank":"normal"}],"P16":[{"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":"Q5259305$38E36D30-F85E-4C8F-BC52-92C33D661460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e15ce73b799bbf544f7745b7057715834a81eb3b","datavalue":{"value":{"entity-type":"item","numeric-id":2163780,"id":"Q2163780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259305$2DDCE2F2-6877-42D0-B0E4-0107B8F0BA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb073cee3f17fc5d531df433f94b283501d8f60f","datavalue":{"value":{"entity-type":"item","numeric-id":1749192,"id":"Q1749192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259305$1598351F-F237-47DE-96B1-C01F061B3408","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259305$B8D55C48-1AEB-4C65-95DE-55741A1D42EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259305$BA35998D-F845-46BE-82C3-355836585009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259305$DF7A1D3C-CE9B-4A7E-B9A0-1E1D0B1B691B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ab5935ceb0c2dff27333642d9dd18311384daa5","datavalue":{"value":"6451178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259305$023A60E0-FF4F-4DFA-B012-E3C9101DD300","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":"Q5259305$98DFE9D7-15A0-49A7-A9FE-108DCF7E1F7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89656d0d475d32ac8037d8c65b8380fe2723fb15","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1135","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259305$D916732E-336F-43C9-A641-46C1502DC76A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"917f73b42d64af23890e2f526f83013c727a1a72","datavalue":{"value":"W1876919938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259305$EF2FF536-BEAF-444D-AC2F-5A1163D46A91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddd81f46a2fe4055a1ee4a87a4a19e634a6d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3066134,"id":"Q3066134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753aef7ecdb06df0487dd2069368dbeb56b41caa","datavalue":{"value":{"amount":"+0.8593868613243103","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":"Q5259305$B444FE00-633D-43D0-9244-7118F9AE870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef99546490c361227c4f3c7bf8bf24a885b7be4","datavalue":{"value":{"entity-type":"item","numeric-id":3599107,"id":"Q3599107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cb957624cf514261aab4f5880728d4a57822e4","datavalue":{"value":{"amount":"+0.8187832236289978","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":"Q5259305$DFC0D03C-4A60-4512-B726-6A9C7F755C03","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":"3b2ff131556b4a4ce6b01b1d4aedf4535f2d7ef1","datavalue":{"value":{"amount":"+0.8173983693122864","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":"Q5259305$6FAD6A52-B409-4B67-B83F-2FCD2B496B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf93125b8e125f6ef686daaed65fde31637312c","datavalue":{"value":{"entity-type":"item","numeric-id":4517377,"id":"Q4517377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d1d25508b9be14c27b8f12641a455f91537e3b","datavalue":{"value":{"amount":"+0.8155723810195923","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":"Q5259305$C23FDC90-08F6-40A2-AAEE-C42B6197692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9887b7cea0f2c68bf55acdd17a5d473efff2dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":5394178,"id":"Q5394178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc676d3d991e362dc96385c79adfa50e6bc1af22","datavalue":{"value":{"amount":"+0.8019815683364868","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":"Q5259305$E9180B3D-CB31-4FFB-BDAB-218D72246654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259305"}}}}}