{"entities":{"Q2208293":{"pageid":2219036,"ns":120,"title":"Item:Q2208293","lastrevid":53860817,"modified":"2026-01-25T20:26:37Z","type":"item","id":"Q2208293","labels":{"en":{"language":"en","value":"Parameterized model checking on the TSO weak memory model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268904"}},"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":"Q2208293$5EE8978E-12D7-489B-99C5-0C9680C88061","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8df3d837a544f39a7835b4670e3a4f166fda8e11","datavalue":{"value":{"text":"Parameterized model checking on the TSO weak memory model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2208293$BA8DEF4F-BEBE-4D4C-8A69-592DBB403343","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"008e5a19d046952279c4d2b1801badf7f6a8bc22","datavalue":{"value":"1468.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208293$73893188-33E0-443B-80F8-152AC10979D5","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":"Q2208293$70DFBE7B-9CBA-4519-A625-EDC16B600342","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":"Q2208293$46759F02-297C-4D60-B8B5-CDA217B61541","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":"Q2208293$1BAE8F00-E029-46D0-92FC-CC655494A2FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$877BD55D-5D98-4A21-8392-53A4588242C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2208293$0995D226-E17C-47E0-A6A4-4049F09D8D40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208293$7BD13729-DB74-4EB9-9DDB-FB355DF680E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4cae3b5bffe168c81983f82a03ae5e51cf135f5","datavalue":{"value":"7268904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208293$50AA596B-70BD-41B9-A721-852229284B41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ef3d714487246507a51b2702c1e134ed233139","datavalue":{"value":"parameterized model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208293$3FD81F7A-BA63-4CCD-8F32-4E1E11A9FC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c51e11c128642387dc390740ab7c21f96126428d","datavalue":{"value":"MCMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208293$599D929E-526C-46F3-99C5-9A42F96AD025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208293$14369F8A-02F8-4FF1-BA14-6D2DE13F1E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49a0a3cfdf1415249a7c3e075d149a96b70434b","datavalue":{"value":"weak memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208293$5CFA9B7B-BACC-44E6-859E-D4325AF9550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2208293$85757AD0-AE92-45AE-805F-B7546F6A610B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$64203B88-DF07-43D8-AD22-91C3F632353A","rank":"normal"},{"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":"Q2208293$CE00CBCB-B420-4767-A3DA-9ABAC1067447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$1E493260-41EF-4654-AC01-471E7A40F8BF","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":"Q2208293$2D534482-3C14-4E74-B33C-D8331670FCEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"489913821e1ded8cb52e876c8d4da35e58c08011","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09565-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2208293$9383A4F1-DA35-4DE8-BFBD-7336AE827BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dcffc37cf2645054105da6d6aef80825c5f1770","datavalue":{"value":"W3037684714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208293$601F74DE-629B-4843-B3E4-C41E475A8B5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ec0b617285c8b6d360ace8b833129f47a4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4608655,"id":"Q4608655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$0EEE9505-0CAC-4841-A0B9-D5B54D8845F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$31B8EACA-A98C-4F36-86CA-25D53B462E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4eab86dc21504526d3d070c41ee51a25788b51","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$9E396E20-C502-4B9E-A5FE-E96CF8BF1DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278f450e92c60aefd3ce7b062893c4212f063b7","datavalue":{"value":{"entity-type":"item","numeric-id":5326305,"id":"Q5326305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$EE552E73-80F9-4B6C-A167-0393DE46EFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e114409ec92e3cb1f5c4e3682149df5cb2256ce9","datavalue":{"value":{"entity-type":"item","numeric-id":491658,"id":"Q491658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$4CA9DE2D-9B9E-4F32-8AA2-CAA64F24D1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0c421b4819066f0b514e57c7c0e8aac4d5cb25","datavalue":{"value":{"entity-type":"item","numeric-id":5326306,"id":"Q5326306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$39D54202-CDA9-478A-A4D7-CFAFF596985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$2BA51E5E-5E68-45B0-B999-BD1B03142D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5822adc74f9202a4cd3f93a3a9bc2f6db47ee22","datavalue":{"value":{"entity-type":"item","numeric-id":1799076,"id":"Q1799076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$D60D6058-1734-410A-80D1-E7612853DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$41CFCE98-9F4B-429A-85DA-4E3269F97361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$C8ABB856-F26B-4CA7-83AF-06D7237957DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$C2F9BD2C-9223-48A5-B58D-4A082973F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb696d9483ff916780f756b8742498effba8f363","datavalue":{"value":{"entity-type":"item","numeric-id":3948572,"id":"Q3948572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2208293$1F971637-FB4C-45D6-9B2F-79770185E78F","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":"Q2208293$785FAFC7-5F00-488C-AB1D-D28995BA3864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e36a736bb9865fafeeaf3789bebc740de6ec4e36","datavalue":{"value":"10.1007/S10817-020-09565-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2208293$19FD1E37-67FB-4D01-8C18-6EBF13BA8908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5400eced727b247019531e50cc33cca8f3fb13","datavalue":{"value":{"entity-type":"item","numeric-id":1799076,"id":"Q1799076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dc25184b524f83da2f820a6b1b71e64b92c2b8","datavalue":{"value":{"amount":"+0.9187904596328736","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":"Q2208293$42FB37AA-53BA-4550-9755-279CCF1A1163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa4b466e4d7c96c5036778fc429837f777dd19c","datavalue":{"value":{"entity-type":"item","numeric-id":4608655,"id":"Q4608655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eee24ed9b01fbfa9afc6f9168d4c751fc82203","datavalue":{"value":{"amount":"+0.7887414693832397","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":"Q2208293$93977027-2F09-4A26-9FDC-FA89BE002AF6","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":"f90942ee3b0878d1184f19f21a1d149554490ec1","datavalue":{"value":{"amount":"+0.7820520997047424","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":"Q2208293$4DE69C73-8FD7-4B45-8F88-D56A447FB79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a8765abea0aad4b57ce8ba9d0556c6bfc5877e","datavalue":{"value":{"entity-type":"item","numeric-id":3130550,"id":"Q3130550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2676067a4f8b2d821473483000334d83b1e83977","datavalue":{"value":{"amount":"+0.7728255987167358","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":"Q2208293$1ADCFBCA-DF29-43E8-8253-3342C09B3B78","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":"530383c7ec61236dce79e8f6799df2ebb607b5c3","datavalue":{"value":{"amount":"+0.7716689705848694","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":"Q2208293$10B0FEB4-14C0-4CB6-B361-778EB536A16F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2208293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2208293"}}}}}