{"entities":{"Q2912698":{"pageid":2923423,"ns":120,"title":"Item:Q2912698","lastrevid":51561182,"modified":"2026-01-18T19:12:49Z","type":"item","id":"Q2912698","labels":{"en":{"language":"en","value":"Efficient checking of link-reversal-based concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086197"}},"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":"Q2912698$745971ED-EDF1-4014-B03F-40C6D01EAF56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5629351357ca185e0ee4283addf80751e44fdd06","datavalue":{"value":{"text":"Efficient Checking of Link-Reversal-Based Concurrent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912698$EA3A74EC-A4F0-4AFE-96D7-3FEA05DF0E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32aa189ee1ac5500659f19123797429a12c9b870","datavalue":{"value":"1364.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912698$208C2DE0-3AEA-4963-959F-D265DAD29909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee47e648a00e9aa7a6303886bee23daf9a1cde6f","datavalue":{"value":"10.1007/978-3-642-32940-1_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912698$07530173-41F8-4997-AE81-9AD4A6AEF19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6860ce4042a73a12c142eb820d6512c44e3f84a","datavalue":{"value":{"entity-type":"item","numeric-id":269514,"id":"Q269514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912698$03F12702-40D2-4A77-8372-A121AC4C9114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc6f318b7b434bf0f7251abaa3853c25531645e","datavalue":{"value":{"entity-type":"item","numeric-id":424898,"id":"Q424898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912698$B0FCE751-8AA2-4251-903E-46A172ACED2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912698$CAD39EED-6401-49AB-8001-514883D83D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-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":"Q2912698$3D669231-334F-4362-B830-B9DFB8739971","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912698$79CDA6EB-B5B7-4604-AEB3-10E425E052CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912698$149C4656-580E-4D5E-8C0F-D67339C94D40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ef9c39ba91d264d75319667b5d8ba7fc439695","datavalue":{"value":"6086197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912698$F47D5A8E-DE93-4BED-BACC-227014B55903","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":"Q2912698$D430E685-4591-48B1-AC42-AACF9AB05DAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a240459593321506b0fdfe1127d72a44ae6bdac7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912698$025B107B-F4DF-4758-A600-D37D31AC422A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5094801dc33c0ace5cca1c61abde5dffb4c3df6","datavalue":{"value":"W90060165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912698$79093EAB-CBDF-4718-8494-EAD867273FF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e11e3e96433bf9c3b5a4e10c44fb63bebbda8d7","datavalue":{"value":{"entity-type":"item","numeric-id":4962176,"id":"Q4962176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0396e3c6e6d1342b07d0273e5cd483b9f47b66","datavalue":{"value":{"amount":"+0.7422969341278076","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":"Q2912698$22255DCB-F208-433B-9741-E17AE492D3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64bcb0200f657ea4888dc058bbb60ff4b784dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5470692,"id":"Q5470692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164c1123ab57b3f6f966504536bf7765fe7b45fb","datavalue":{"value":{"amount":"+0.7096012830734253","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":"Q2912698$3ABD6418-217A-41FF-83A9-9B745D86F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febf2f9dab034db9ff9cd6c19c78c07dde88d191","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e5493b32cc19d3b53d8de17791e221a4c4b8b4","datavalue":{"value":{"amount":"+0.6894904971122742","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":"Q2912698$3D46EC20-6E8B-44E9-BBFB-775A870FAFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913a19199b2f68b8077ece24b0bc3726c3843caf","datavalue":{"value":{"entity-type":"item","numeric-id":2840988,"id":"Q2840988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bb2ecc7ce19a4180c0cf396a71e1e0c77dabbb","datavalue":{"value":{"amount":"+0.680715799331665","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":"Q2912698$3CFA3F9C-F2DD-46B7-B1D6-E35CEB7434FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bfd1fefc631074c4b6d6d12b126c9ba192942","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9287e9867697edb275def7895c5be7487243452","datavalue":{"value":{"amount":"+0.6706426739692688","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":"Q2912698$A5F90DCD-3960-4E54-AF18-3839E3F74AA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912698"}}}}}