{"entities":{"Q2978551":{"pageid":2989276,"ns":120,"title":"Item:Q2978551","lastrevid":85656593,"modified":"2026-06-03T10:46:50Z","type":"item","id":"Q2978551","labels":{"en":{"language":"en","value":"On bounded reachability analysis of shared memory systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707799"}},"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":"Q2978551$6FB67B1A-1E1E-4C3E-9D0C-91E488B86940","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87b8998325019d56ca9512da0d30880b1b79ba54","datavalue":{"value":"1360.68624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978551$F9DFA9F9-D069-414F-A8F1-C5C0EF08E7ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978551$5C3D2DB1-37A9-4F91-B09F-A4BC57D96B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978551$E76A5978-84DB-4EE1-BE5B-7A0309F42ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978551$AF6F65A9-72F9-4AAF-9345-BCE9BAF43BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c9e52031a5706f049b4a3c6f99d07154b104d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208301,"id":"Q2208301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978551$2AD18BFF-565D-49FA-A1B7-F31825385BBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978551$C9CD32A7-19AD-4BF8-8BA3-253FED012F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978551$2FAAE24C-739A-4446-859F-41782893A569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac024bc501597c54703bd93ef3233b388586367e","datavalue":{"value":"6707799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978551$7908E46E-B86A-4926-865C-69E560E40565","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978551$362CA826-EC34-4563-9584-9AD43A215078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978551$3ECA6C59-198D-44B4-BC91-4C0DA4CABE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55dab19b9bb952aada92e638990e309d00d300f2","datavalue":{"value":"counter systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978551$1297885A-EEEC-4437-B6D9-2E4A229357F0","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":"Q2978551$0C45F8FC-9251-4FC0-BA85-22286033087D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3c0cebc15c4bf8af1ac410c9c9a7364d884bd75","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978551$3DE94450-2774-4B6E-9BE0-1792E4B37140","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd8452a5012cf6312cf090c72051069d94d08c3","datavalue":{"value":{"amount":"+0.7894393801689148","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":"Q2978551$FE4C749A-349F-40C5-BE8F-06C122FA6555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d584622c07c07376c3046bfde6b375281244284a","datavalue":{"value":{"amount":"+0.7747647166252136","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":"Q2978551$428C7D25-7353-49FE-A493-3E6E5AC62214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4eb92f6d638d6d4f6bb3b286f35bb82dd66e404","datavalue":{"value":{"entity-type":"item","numeric-id":5891173,"id":"Q5891173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7c6fb64e590c8992f12157e09b6dec3c1d7861","datavalue":{"value":{"amount":"+0.7517839670181274","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":"Q2978551$935CC0CB-9CE6-4C47-9D16-9CD37D3E03B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af7e244c3128a02c27003df9390d0ea2cb0cfb0","datavalue":{"value":{"amount":"+0.7491435408592224","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":"Q2978551$36657C1C-FAA1-4311-BE11-E7BCE5FF5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9feb15707eaf661f225b7df770a18c0f1437f98","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e95d31edfd88f25782bc9fe4a2f72606bbf5690","datavalue":{"value":{"amount":"+0.7471127510070801","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":"Q2978551$2FF7828E-7214-4866-BFA1-5E1738C24B1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bounded reachability analysis of shared memory systems","badges":[]}}}}}