{"entities":{"Q1799076":{"pageid":1809818,"ns":120,"title":"Item:Q1799076","lastrevid":43332816,"modified":"2025-07-24T20:03:06Z","type":"item","id":"Q1799076","labels":{"en":{"language":"en","value":"Cubicle-\\(\\mathcal{W}\\): parameterized model checking on weak memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958097"}},"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":"Q1799076$8C2DCD8F-9693-4EF4-81F1-D98A30051879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1b21f6ca3265714da812e4079c14862a9c4558d","datavalue":{"value":{"text":"Cubicle-\\(\\mathcal{W}\\): parameterized model checking on weak memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799076$A8F6D125-9136-45C7-92A6-9FF2E54A85DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b19b5dac6628ca1f34aab35812cf08466a4a4b1","datavalue":{"value":"1468.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799076$8A13A7A8-A371-4B78-B0A2-0C10AEEEBB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7baaa0376aa656f2de5ac390cfee3db4f890ba07","datavalue":{"value":"10.1007/978-3-319-94205-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799076$F94EDFDE-9266-4311-B529-DE0346D8DD22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9c3e977eb61b9fc5b2fcb92fe6e8ddc0a12670","datavalue":{"value":{"entity-type":"item","numeric-id":287381,"id":"Q287381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799076$A41D02DC-AE8A-4E4B-BCE1-1E1DF529C369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8198dc3c71fa45131c4427699805ce71fc2573f8","datavalue":{"value":{"entity-type":"item","numeric-id":1799074,"id":"Q1799074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799076$273BE3B0-BD18-4882-B243-965A9A66003A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe78a3d157c2bafb5ca929b5064eeb6ae431745","datavalue":{"value":{"entity-type":"item","numeric-id":1799075,"id":"Q1799075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799076$1D4C6427-9BD7-4FFA-8922-0DD83371FB6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799076$B21CE855-2D21-45B0-BBF0-6E7307A525C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799076$EF939327-E2C9-4A46-ACC4-EC9741C8C1CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"310b3abb481a68115d3a2ebe357468bc00fae28c","datavalue":{"value":"6958097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799076$CCF693FA-8CB6-4608-9566-9D650D019250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ef3d714487246507a51b2702c1e134ed233139","datavalue":{"value":"parameterized model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799076$418AEAE3-8804-4DA0-BF06-FA7989613570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c51e11c128642387dc390740ab7c21f96126428d","datavalue":{"value":"MCMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799076$F82207C6-48A0-4C13-9E88-EA8B2B5EC237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799076$6FCEF3F5-897B-4637-88AE-789EA8F12F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49a0a3cfdf1415249a7c3e075d149a96b70434b","datavalue":{"value":"weak memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799076$3CEAEF20-3AA5-4A80-B7F9-BCBCB1287F9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ab07bc932f5e4b37b6e7a86c6f6070ff545e687","datavalue":{"value":{"entity-type":"item","numeric-id":21738,"id":"Q21738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799076$D21DDF41-EAB7-4F5C-A7EE-866E3FE06329","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":"Q1799076$420D415E-4593-4CAB-A8C3-9D86377CC61D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"234d24c8739e01dfd25274bee8f73ada289c0b67","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799076$92D243FF-A0FC-4D00-A698-2C14D49BCA44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee97045f22c688c81061b7e5bde9302729eb4231","datavalue":{"value":"W2810868851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799076$6ABFB07B-EFAB-4684-846A-4CB5839B2F34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c4e431df1cf062dba92e5680550f1d1f1f818e","datavalue":{"value":{"entity-type":"item","numeric-id":2208293,"id":"Q2208293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0f9232d39181f883fbc17477484aa8bd000a43","datavalue":{"value":{"amount":"+0.89843744","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":"Q1799076$F69A351D-CDC1-4CE4-A339-F012F186C608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4c89f21a706d959dd5482391d5ca4ae39685f4","datavalue":{"value":{"amount":"+0.87953943","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":"Q1799076$0341591E-47D5-47F8-B657-189053CAA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca091b71368f84598d64a3e28ec89303393aebf6","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46dae6ddc9c6dc0dfa1cb8128db83dad60225dda","datavalue":{"value":{"amount":"+0.8772087","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":"Q1799076$13BFC866-9E09-4603-8018-67770B7A6ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e387f8de5131b4b9f1488f9882fe6e5797d4838","datavalue":{"value":{"entity-type":"item","numeric-id":5206951,"id":"Q5206951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110d0f33ff6286b38a43d04d390db51ccb309d64","datavalue":{"value":{"amount":"+0.8728139","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":"Q1799076$6D7DA5F1-1FA1-4B56-8B14-7946E51D86FC","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":"b05dc86dc94540a2b63a8443243f641f174866ef","datavalue":{"value":{"amount":"+0.87124616","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":"Q1799076$25935235-BB06-4379-8A2A-D71EF31557A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca522f2f833db3826493b39383074bf163777bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848152,"id":"Q2848152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e77c99cc78d391bdcc0ddc2614d154b41d17825","datavalue":{"value":{"amount":"+0.86472297","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":"Q1799076$4D0D75A4-D570-4403-AEA7-4944A7662FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e308caae7526407a55f802559e3b608593d178","datavalue":{"value":{"entity-type":"item","numeric-id":4804891,"id":"Q4804891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22e4c7f456fe4f0e7114d8659b4408d9b049f10","datavalue":{"value":{"amount":"+0.859746","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":"Q1799076$B3CF8E9A-414B-4FA4-8022-4E1390D4846C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799076"}}}}}