{"entities":{"Q6535346":{"pageid":14146489,"ns":120,"title":"Item:Q6535346","lastrevid":57344340,"modified":"2026-03-30T14:08:08Z","type":"item","id":"Q6535346","labels":{"en":{"language":"en","value":"Optimal stateless model checking for causal consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777301"}},"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":"Q6535346$301D0E75-0C10-486D-A35E-264200ED378E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d41b103bdb9fc14706100f1af6e63ff020edf6c","datavalue":{"value":{"text":"Optimal stateless model checking for causal consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535346$684DDF42-6A2C-4F09-A9A5-C83D93FC2ED2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dad969f20b2b1be949648a2cc5a6d329a4ed0137","datavalue":{"value":"1543.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$5197E1D2-B36C-43E2-AAA3-F65F45A71915","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93ca8530b04b81f4955040eb9ef4a34d50792dcb","datavalue":{"value":"10.1007/978-3-031-30823-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$C15C6148-75DB-42AF-9326-0C026E623B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$44D0DB3D-71DE-4BBB-ACED-3CC4BF2F8B33","rank":"normal"},{"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":"Q6535346$4D003898-9193-4EC6-B390-3A09E0EE6A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"867112139141cf36afd4135a28ec3edd04e440be","datavalue":{"value":{"entity-type":"item","numeric-id":6202206,"id":"Q6202206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$954660F5-EAA3-4B34-8EC5-431671F68B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$290EBC2A-FC15-40E3-8352-52FB1FC763A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9fe86e9a8c2f5d2def2821d420427a9d2797feb","datavalue":{"value":{"entity-type":"item","numeric-id":6535345,"id":"Q6535345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$7A1DF6EE-24D7-49C9-9CA9-5A2B09F3A250","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"370dd048328bd35e66746fcb16650fb884273700","datavalue":{"value":{"time":"+2023-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535346$FFCD35DE-011B-4F6A-81C4-A27474D4CBBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$B904A9C0-E4B9-4528-B6B3-2330E8AF5581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$560E3699-0712-49E0-ABB1-AB68888A7509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$3141C87C-4E82-4CA2-9D72-0CCF8C3597E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$263CE518-440D-4B25-BBBD-96F519CDCC5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"599b69fcb62ea19887f71da828352733a9a13816","datavalue":{"value":"7777301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535346$9FF1E31A-4BC1-4013-8DD5-BF6E2DBBA32C","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":"Q6535346$EE8103F0-F6C0-4E0B-B5A1-76142E962B2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b93eee614fd2df5a7bd0e9779f4833f20891d7","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$ED67A0FC-058C-48BC-B34E-4619627E3E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de6cbf9794f1d86a393cf017d3f611d31cd0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":5194956,"id":"Q5194956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$1B7AB39E-2577-42A8-9409-EAF6D72F0F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d9eafab6582043cf461ebd28c2ebc90a324ba5","datavalue":{"value":{"entity-type":"item","numeric-id":832184,"id":"Q832184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$5B9A0617-ED5A-48D3-B801-BBB72BD9BCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f1a2bf81f4948b599f0e2c54911aaef52d665","datavalue":{"value":{"entity-type":"item","numeric-id":5137003,"id":"Q5137003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$B5CBB552-A1E2-4EF9-A020-5BC249442095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$40861573-9A63-4E67-B38F-BEE17E3A7B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708a448058f60917294c181fb5672d5808b601c8","datavalue":{"value":{"entity-type":"item","numeric-id":2233450,"id":"Q2233450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$02A0D479-7B02-44D6-9756-09EDC703F1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b3bbfa84acd5d57ae1f882eef6633a4bc9917","datavalue":{"value":{"entity-type":"item","numeric-id":5856416,"id":"Q5856416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$20F2E1E3-8294-4558-BFAD-9B5CEFEBF840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2706e199c1b267ae2a94cc3c0ad3195d280174","datavalue":{"value":{"entity-type":"item","numeric-id":4608658,"id":"Q4608658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$A6A32B8A-D816-480C-93A5-CDA6F84F2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed7d9baee26370588a84ec72c501127f68d4c84","datavalue":{"value":{"entity-type":"item","numeric-id":5370895,"id":"Q5370895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$75EAC438-7E02-49B9-9D80-E4A73139B7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$0BDD66AB-45AA-4B7D-AF78-22C5CB5890DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$B54921EA-7680-4471-8384-F54DD7CF5504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$CC3FFACF-9F02-452A-9869-6493F012A426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$DE8E43E7-CF03-48EC-A39E-288ADE4F9514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$2DD9E5C4-0D0A-457D-AAC1-9E65DC683D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e1c98006fc90171606ec66575d3c69c6b06d85","datavalue":{"value":{"entity-type":"item","numeric-id":5041111,"id":"Q5041111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$952B175D-7B60-461E-B4AB-A0B8F186730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d77e10aac53df93957ba23e01b43683f2cc20e","datavalue":{"value":{"entity-type":"item","numeric-id":2956682,"id":"Q2956682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$3E225EAD-CAD1-4451-8EB4-DF6EF2DFD9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632d9ceadeb901f2e42ac25ffe5b75e59fa1c0bb","datavalue":{"value":{"entity-type":"item","numeric-id":2049503,"id":"Q2049503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$11A52C2B-5F90-4229-A2B0-3E700AB210B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f8506d165be2967a3439c4d81815c0881cba71","datavalue":{"value":{"entity-type":"item","numeric-id":6485892,"id":"Q6485892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d863244dcefb089e58c15eb9bd4f6ab85b9f2b","datavalue":{"value":{"amount":"+0.7937377095222473","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":"Q6535346$CBD6C5A4-9027-4AF0-9BBA-50E6E24B075F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3576debcb48219071ccb6df4789f5284ee185476","datavalue":{"value":{"entity-type":"item","numeric-id":6154884,"id":"Q6154884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ad50db24e0cef9a938e8af4e58bcd1ec047486","datavalue":{"value":{"amount":"+0.763765811920166","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":"Q6535346$B7B69D64-F66F-4626-AD04-0843D04C9FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788b4e433dd9a93b337c18c5e7b6cc4a6e27653b","datavalue":{"value":{"entity-type":"item","numeric-id":2676222,"id":"Q2676222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4955c763359c9779753c56194acf2e83d863f2","datavalue":{"value":{"amount":"+0.755031943321228","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":"Q6535346$3716C00A-CAD9-4B88-8F7E-E96CD6A1BD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47941ed4fbd472d8127d397460ec9ecc36c65255","datavalue":{"value":{"entity-type":"item","numeric-id":5194956,"id":"Q5194956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2860abcf66f65d76191b560ec00f8e1374fb709","datavalue":{"value":{"amount":"+0.754658579826355","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":"Q6535346$F5E4E765-8ECD-44C5-8542-C25D1405CB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19a00c9c306c52f4cdfdc87943b774c081bc374","datavalue":{"value":{"entity-type":"item","numeric-id":1683934,"id":"Q1683934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66336f941962b3cb08d0a7290ee6765f7c7cb8f6","datavalue":{"value":{"amount":"+0.7502797842025757","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":"Q6535346$5190358F-66E3-48A8-BCE7-B196A7709315","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535346$77144A60-7859-418B-BFB3-B6DD095E1CD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535346"}}}}}