{"entities":{"Q3636878":{"pageid":5666784,"ns":120,"title":"Item:Q3636878","lastrevid":50694836,"modified":"2026-01-14T20:15:19Z","type":"item","id":"Q3636878","labels":{"en":{"language":"en","value":"Reducing Context-Bounded Concurrent Reachability to Sequential Reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571917"}},"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":"Q3636878$097F04FF-C836-4A52-AEDC-D3AEF9D854CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a025dfc3dfb89f27cd1ac132ea9c240fcd4f6dde","datavalue":{"value":{"text":"Reducing Context-Bounded Concurrent Reachability to Sequential Reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636878$700C645E-2FCA-46BB-9F10-336EC9779319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"341dda73a4c982188e232dd1dbb145d479b323eb","datavalue":{"value":"1242.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636878$E85FD78B-FED4-424D-BD91-9F84A0B179F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a35566bc1a63246aac945cd411902bbd4dfb2c79","datavalue":{"value":"10.1007/978-3-642-02658-4_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636878$DB635E3B-B02F-4AEB-9EB7-B8919C03CBCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636878$C6433E76-7C27-4E23-94D1-128002E3D6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636878$3A89E74C-93DC-4E7C-BA46-88491118BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636878$594BD972-184E-44B4-B39C-15E6D350155A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636878$7B1B29F4-F5DF-4015-90A6-93468FEB4E26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636878$7960E153-679A-45B4-A174-0E0273EAA47F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a78e79882f802145d5e289c493cd65452f631d9","datavalue":{"value":"https://eprints.soton.ac.uk/272456/1/fulltext.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636878$705E167C-E1EA-431C-B978-3073ED25924B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636878$8F765DE4-BF91-4658-83C0-A3C6D1C07643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d98dbe5457e7784a689e8a169f17a1a5548e067a","datavalue":{"value":"5571917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636878$A703C48F-ABC9-4D78-9FD4-2F69648CEE58","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":"Q3636878$741216A8-9E93-4A63-8307-7F3F764A05E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"718a1935d4f317efccf775dd05df5d4c8048b853","datavalue":{"value":"W2143502475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636878$28A5D156-D483-4511-B6F2-BD9614541CED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d01039bbb25d3c7b33ed2d4a2a28c713b9441e","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e2e01dfca72db883b56b5c04c1ecb22a39f545","datavalue":{"value":{"amount":"+0.836624026298523","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":"Q3636878$152482D3-A677-403A-9A57-2FDCD4CD011B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5631880233381d2c0969dc48027c0e2a4c4ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2cf2b06d395bb4a9ba96cf8ccb4b37bef65208","datavalue":{"value":{"amount":"+0.831220269203186","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":"Q3636878$D5C82692-09AC-4A65-B3FD-124AF8613182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d2a2744812815d9cbc403a20b77688c20447e0","datavalue":{"value":{"entity-type":"item","numeric-id":3000634,"id":"Q3000634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae0497f6a67da69459f22b6ed2d77daac7c4435","datavalue":{"value":{"amount":"+0.7748074531555176","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":"Q3636878$C08ADC50-D7CC-4734-9560-E020D340DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e18e5eb0d420eb77a356778da4f7d613e793467","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cd97e456ef7d7a982988d87692698b406507a2","datavalue":{"value":{"amount":"+0.730908989906311","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":"Q3636878$7E8D31B6-B6FB-4870-B6FA-858A535B1263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37f152300212587df4cd34a3270b08cfd5a9c4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2327120,"id":"Q2327120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6259d1e595a3bf54b952efb3ebceae5507aab6be","datavalue":{"value":{"amount":"+0.7302604913711548","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":"Q3636878$3F22EE13-5502-41AA-A2CF-11408DC6824F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636878"}}}}}