{"entities":{"Q5194956":{"pageid":7224528,"ns":120,"title":"Item:Q5194956","lastrevid":58480335,"modified":"2026-04-05T09:57:18Z","type":"item","id":"Q5194956","labels":{"en":{"language":"en","value":"Stateless model checking for TSO and PSO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105953"}},"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":"Q5194956$B5E80A71-9027-42F0-A833-B2AA06142637","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43d9b97a3874a223d707b2fe0ccf089b5af3d16c","datavalue":{"value":{"text":"Stateless Model Checking for TSO and PSO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194956$AA260186-5C1F-4963-AFCE-9925618B43C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41264203455ae310662535f4e1c4806528c76346","datavalue":{"value":"1420.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194956$0AD34049-14BF-4192-A606-1D9B0BFAD770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e237a13ba7f19c55b42393cb71c1c7323cd0d203","datavalue":{"value":"10.1007/978-3-662-46681-0_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194956$5C1700E9-B2D2-42CC-AFAA-3A549F09F8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46fc33b415c532ede61ce83b8f7d95780ce1064f","datavalue":{"value":{"entity-type":"item","numeric-id":1683931,"id":"Q1683931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194956$D65BA818-BF08-4942-A874-7CD49BD90AE6","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":"Q5194956$4DF1492C-BC60-4AED-8E9F-7F2AE3DB73B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e16bbf4c12ef8a1d555d088b098081128f1f7fe","datavalue":{"value":{"entity-type":"item","numeric-id":1683932,"id":"Q1683932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194956$018AA699-C61D-4942-B27A-2388962F4EC6","rank":"normal"},{"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":"Q5194956$E92F3E7F-EAFA-4C50-9F48-7E331E32896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194956$8B9CF6E3-4030-4E02-BF14-621FA3B3B992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6a5352415e5620331ed484966e52e3a16a0b01","datavalue":{"value":{"entity-type":"item","numeric-id":1683933,"id":"Q1683933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194956$032A23DD-1F00-4AD6-BE93-E10E05292B20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194956$261E3311-34E9-4F5E-8E2B-8EBBE38EAB37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194956$88AB6211-2BB9-4A75-8267-1B0EB0B7DD71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"410579eede9b381826299a6375ee9f60c5bf61a0","datavalue":{"value":"https://arxiv.org/abs/1501.02069","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194956$1FF0558E-3A6F-4F00-A3D1-79E5CBB4CB6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194956$9FDE784F-4CDC-4675-96B4-0B4DDDA75004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194956$0ECA61CE-AD88-429A-A9C7-EF7FB0D516E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57e98b207e4c180d829eb98006c15f0f15d07823","datavalue":{"value":"7105953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194956$4AF51D5E-95B0-4822-BD12-B068DB2A0DEC","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":"Q5194956$E7E640AF-2D18-468A-9F35-7FB3602E9B42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e66db67b2620d58e5f2a098130e08cbb69f0ac9e","datavalue":{"value":"W1719093023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194956$F8538EA3-DF7B-485E-9C3A-E2A449984156","rank":"normal"}],"P1643":[{"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":"965730fe90c3a6f3a21523f2a609c6c25737a20e","datavalue":{"value":{"amount":"+0.9989801049232484","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":"Q5194956$1D6AC26A-F2C8-47BA-B783-3F0B0BA6E1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f78eaf2dd507d45a1c4b5687f580c33006b4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3000633,"id":"Q3000633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efefe12988ebd2e79eb7e8a357901835bd23c94c","datavalue":{"value":{"amount":"+0.7966538071632385","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":"Q5194956$BA259479-0529-440C-B93E-7B17EF1D8F75","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":"af093964cc0897972d27763206a20798411313bd","datavalue":{"value":{"amount":"+0.795723021030426","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":"Q5194956$9491BDE8-9E70-4794-BE41-85FA3AD3B74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beef82811c1ed410a89dd64b21f082cf77902e7","datavalue":{"value":{"entity-type":"item","numeric-id":5172657,"id":"Q5172657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521220b50fa3b070442537af92a707c0e53dd1af","datavalue":{"value":{"amount":"+0.7794481515884399","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":"Q5194956$E7E43AA5-61BB-4C9C-A46E-86160E1B3831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920846cee47ebcd0c156e2badd883856874915ab","datavalue":{"value":{"entity-type":"item","numeric-id":681346,"id":"Q681346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483768fe5bb4d540602bc4c9fbdf542899971fec","datavalue":{"value":{"amount":"+0.7787225246429443","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":"Q5194956$C14ABD7E-30D8-49F3-BCD8-2C6436938CBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194956"}}}}}