{"entities":{"Q832184":{"pageid":834032,"ns":120,"title":"Item:Q832184","lastrevid":64706643,"modified":"2026-04-11T21:40:57Z","type":"item","id":"Q832184","labels":{"en":{"language":"en","value":"Stateless model checking under a reads-value-from equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498145"}},"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":"Q832184$8B175209-DAA9-4C47-B96F-D0EDAE47EF2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16b6759dc914c034e51954676fd07ac1f0d3fbe8","datavalue":{"value":{"text":"Stateless model checking under a reads-value-from equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832184$F0AAA341-EA5E-4DE1-A33B-749998B8492A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4382ec7ce0ed79bef15a0b4593c89dccd21733ca","datavalue":{"value":"1493.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$E48405A6-7B3F-452E-A294-9E912CBB4761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"220bf74e2b908b4ec2d29e3ea777c5faee7059eb","datavalue":{"value":"10.1007/978-3-030-81685-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$C5532A30-641E-4E80-A496-0DBAEF134DD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fb6e929ffff0beed39c9d9b7a59e1564dce265","datavalue":{"value":{"entity-type":"item","numeric-id":832181,"id":"Q832181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$54C2153B-1CB4-43C6-A720-3C03CDD852FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$D979E15E-A4F8-4F61-A600-5A7BAD1BB65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b18490d2dec06d4e8608662493cfff40ac824d2","datavalue":{"value":{"entity-type":"item","numeric-id":832182,"id":"Q832182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$B3D3689E-D5CD-4634-9564-9458D5DEFF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f06d0352f5ea084c8951e25e77de537e948b7ba7","datavalue":{"value":{"entity-type":"item","numeric-id":650875,"id":"Q650875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$76D9C915-6381-45FE-8943-4C33374D00E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"288fde6e93ec3b0d3b88e9946620cd276c80f6df","datavalue":{"value":{"entity-type":"item","numeric-id":832183,"id":"Q832183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$E903B700-C36B-400E-A114-67847D2A0BFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-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":"Q832184$A04EF4D7-43EA-4B1F-8FF4-C7936FB82C17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ee4843027567e9938943411ad5cdefba1111d7b","datavalue":{"value":"https://arxiv.org/abs/2105.06424","type":"string"},"datatype":"url"},"type":"statement","id":"Q832184$D605863C-75E9-4BB0-9EB4-BAE57EC4249A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$FE52CD4C-39DD-4C9E-ACA9-3EE84920E7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$8C763773-F62B-4E78-9B1D-6E318AD2B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$FF173600-D90B-48E3-96F8-E8E752296768","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"731fa3936ab4338306582493f82a79742c507fe0","datavalue":{"value":"7498145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$E817495B-D782-4F81-86FC-0EB1CC52A298","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6066ce70c508b423307b218f8e8aef0d7c165f7c","datavalue":{"value":{"entity-type":"item","numeric-id":34873,"id":"Q34873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$E90EF6A6-3AB4-4592-AE4B-029B24D4719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$5C1BA315-B7A0-48CC-AD2F-7817D6D0FD27","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":"Q832184$05D44643-0DE2-4C19-AFDE-E422F6E18757","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea6220b64777d589439794646568c81d8e32409f","datavalue":{"value":"W3184331482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832184$83293A38-B3DE-4C87-B345-3F53A1B6662C","rank":"normal"}],"P223":[{"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":"Q832184$24DFA565-694F-4FDF-AFDF-A13738136BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695280e4ca4193f87a4205c51623f2457674e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$5B343408-5C9F-4168-A597-4A72D12BD8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e634c3759189c4345651780a9fc7a435e9aab89","datavalue":{"value":{"entity-type":"item","numeric-id":5111714,"id":"Q5111714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$31F46809-88B1-4FD0-AFC2-5B68CDABAB9F","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":"Q832184$90A2FADA-0AD5-4806-879E-D239960B45E8","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":"Q832184$AC67EEF2-A70D-4797-87B7-EA00A7DB49C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$7259E9BF-97AE-433F-96E2-B95C8E817A6D","rank":"normal"},{"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":"Q832184$BC3EDBE8-59F4-4263-843D-DBD2EDE82CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5aea8a5b34656b8dc5de8001da8e22984a9e2c","datavalue":{"value":{"entity-type":"item","numeric-id":6043165,"id":"Q6043165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$F60DCE53-3B33-493E-81A6-BBD6E33745DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab145a5a565f695bbdc8f23d66dfa9d3aaf67d8","datavalue":{"value":{"entity-type":"item","numeric-id":2324230,"id":"Q2324230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$2985E069-EC46-41D3-B79D-1B778E914795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1950f65495640ca254af27dc1e1686ac79b8895a","datavalue":{"value":{"entity-type":"item","numeric-id":2151268,"id":"Q2151268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$1EC0822D-F7BC-4365-93E4-F805D8B68DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792c2fd1a6805d7c32a0fdf6f8624cefbc46b361","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$DBCFDA51-BF3E-4DB9-BF46-589729020BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcdc3f39b30ddbcf72bddf86d2beca129b3fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":1683934,"id":"Q1683934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832184$E6F3F3BC-9405-4AFA-9013-61D2F3692EFD","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":"3873580f9ef2251fca2409fbd71c2f3ab5d2d7f8","datavalue":{"value":{"amount":"+0.7847297787666321","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":"Q832184$72AA6F8E-3D72-4E13-BE2D-F64A276214A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3568527f8a2276bd6707602dc03e2bb47e0715","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd8962d424e06947b62042c8f43927e8621c8a8","datavalue":{"value":{"amount":"+0.6901677846908569","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":"Q832184$5373F069-7597-40AF-816B-293505778B01","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":"9b1a8a3e71dfc02f047f073ec14524ca06976b81","datavalue":{"value":{"amount":"+0.6817492842674255","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":"Q832184$9AAEC6CB-7252-4CD5-BE3B-9E0F035C90B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62643361c99d368cddf0e381394e0dbd711d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":4640276,"id":"Q4640276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4616c458bb9e8aeb7985853fab024f9fff99c3","datavalue":{"value":{"amount":"+0.6790881752967834","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":"Q832184$E8CCA0EF-0161-4E34-93F1-A81E40F6247D","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":"26aac4ffd1e1c0b6de25bf971150d69299f799f5","datavalue":{"value":{"amount":"+0.6758720874786377","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":"Q832184$88AB997E-3247-4204-9A78-90BA0578C096","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":"Q832184$69E08413-7B58-47B8-B2BF-6300197B55BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stateless model checking under a reads-value-from equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stateless_model_checking_under_a_reads-value-from_equivalence"}}}}}