{"entities":{"Q2827447":{"pageid":2838185,"ns":120,"title":"Item:Q2827447","lastrevid":83654276,"modified":"2026-05-07T09:44:08Z","type":"item","id":"Q2827447","labels":{"en":{"language":"en","value":"On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641148"}},"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":"Q2827447$595DF326-E4F6-4F43-A9AA-8B12107256D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df21e9fe43d7e4b0c2a53e5dce04fc0af93022f4","datavalue":{"value":{"text":"On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827447$A6A5B67C-D669-41E2-98DB-23AE166E740F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a43fc234828b3d9235f8905e95267382944c5ef","datavalue":{"value":"1347.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$1EAD105E-022A-430A-883A-F4760B0CF335","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a069b201f554571192752b74d39a2596528303f7","datavalue":{"value":"10.1007/978-3-319-19195-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$AF0A44D2-019C-4D5B-AEA2-2AE879FCAB8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02b71d6c9642346d86424f80c91afbb013e31940","datavalue":{"value":{"entity-type":"item","numeric-id":2827446,"id":"Q2827446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827447$C52C2400-15C2-442C-9C18-6E275BFD3705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827447$4B4907D5-95D4-4343-8BF0-2ADE48944A47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827447$4CD40441-4281-4144-B273-DC90A74CEF0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827447$ACBDAF49-C810-411B-BCDD-C3A2E76EE6BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f15b6ea1a8689770bdeb3f87185fab0e7b4f3f58","datavalue":{"value":"https://arxiv.org/abs/1504.00037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827447$BA76F2BE-29FB-4CD4-AE14-1682CA2D6689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$15F85099-1974-44DB-B8B4-11BC7CD6D895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$73146F0F-8637-449D-ADB0-3049C9075B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$9CA4F5B7-F10F-461C-AECC-BBF019657B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a09967c920102742a9e33b7bedcca5fa5a34eb39","datavalue":{"value":"6641148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$62369249-E3B3-4200-AB25-C42023299037","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":"Q2827447$C5A4DA40-69A6-4387-877A-4D12E1AAD6D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ecd7ff0e3cf0bd0634a464ea75a3bdf113a3186","datavalue":{"value":"W1818932744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827447$9825500B-BDEE-4005-82E5-40C6B07C428F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6242ae5ed15ef3b42c60538321c51cec42648ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ec3d62a7188f84245b36a28bf3805685142e3a","datavalue":{"value":{"amount":"+0.8754644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$22AA11F1-4801-45E5-9E14-FB61F4D592D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c693935527fafb22328f44f307e4e22640f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5112c3468f52fbc783dc6401ca42078da4454471","datavalue":{"value":{"amount":"+0.86074525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$0FFD8B96-64BB-454C-81DC-DC8692EB2674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a327abc7249a0487e5840fe79f98e7851061dcd","datavalue":{"value":{"amount":"+0.8568453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$62134FD5-8E2B-4EFD-9581-F666AB7CCD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d97b0067fe64bb77af2e5ab240a12131473b024","datavalue":{"value":{"entity-type":"item","numeric-id":5915975,"id":"Q5915975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98eb9f3bc9893ea0dd646a086de610dc232a05cb","datavalue":{"value":{"amount":"+0.85298157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$BA5BF416-341C-4D5D-A3B0-7F35E75C3A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1983d59eaf2a1d808e748212ae5812d64e4048a8","datavalue":{"value":{"entity-type":"item","numeric-id":5918263,"id":"Q5918263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98eb9f3bc9893ea0dd646a086de610dc232a05cb","datavalue":{"value":{"amount":"+0.85298157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$7287F8D7-A780-4964-978D-F6B19AA2057F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5d628e56c3440758a0cbfd92dacbeb43c1297b","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4354d40a5a96aba673f11e136cd30dea56b3a9c","datavalue":{"value":{"amount":"+0.85223377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$955FC97B-AE6D-4C37-95D3-D4820C7A491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3fd1dec21feb09955bb3289ad5041e6de3501","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b91abe60070e43ead42de610ff2af05c229d208","datavalue":{"value":{"amount":"+0.84371084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$E16B7321-5C72-4811-80D1-226B5E6AB69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdab50ae618391f76cda814436b7e8c8313a92ed","datavalue":{"value":{"amount":"+0.8404261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827447$40999514-BA16-430F-85C2-07FB6FF26C5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Partial_Order_Semantics_for_SAT/SMT-Based_Symbolic_Encodings_of_Weak_Memory_Concurrency"}}}}}