{"entities":{"Q1702885":{"pageid":1713626,"ns":120,"title":"Item:Q1702885","lastrevid":53034137,"modified":"2026-01-24T02:18:49Z","type":"item","id":"Q1702885","labels":{"en":{"language":"en","value":"\\textsc{Poling}: SMT aided linearizability proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845622"}},"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":"Q1702885$5A295514-0586-488A-B49F-730C88A466F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5cd960416d6b893f9e018539a19e31d8101edd5","datavalue":{"value":{"text":"\\textsc{Poling}: SMT aided linearizability proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702885$11250FA6-B67D-43B0-A74E-20BB51A3733C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f62221fe6aafd9a4cc275f9cd70a865ea8da4110","datavalue":{"value":"1381.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702885$9E79DA43-7E7C-4055-9E69-B2E768633081","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae00d396dac9e34992b854a56102ba6ee2574662","datavalue":{"value":"10.1007/978-3-319-21668-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702885$12D093D8-CDA8-4342-A939-0EBE79205CC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e4c4abde94f5f23dbe9ef0880558818c256eab","datavalue":{"value":{"entity-type":"item","numeric-id":1702884,"id":"Q1702884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702885$4A2CF167-7C74-4F2F-B28B-6116EEE3FF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754362b8a0c777b4de7ff5ba146561683f73d1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1687773,"id":"Q1687773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702885$C4BEB895-3755-4A13-B37B-99E8A668530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9ea0621027ebcea1bc6d57ecc6f0e59b3fb507","datavalue":{"value":{"entity-type":"item","numeric-id":436390,"id":"Q436390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702885$B0FDFB6F-3935-4D7A-8A12-FD07ECA8BD63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702885$37AB1044-112E-41A9-96A1-150E43C6FA4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702885$C5C279BD-EDDD-4BCB-A5E7-CFBDD4D81E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702885$B58EC2C8-C597-42C0-90F2-64B89CEA5937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e48d91ae6c00d8e2bfa805971871f5493e48c52","datavalue":{"value":"6845622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702885$8298D7B1-16D3-4DE5-8A29-0047116ADFCE","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":"Q1702885$10383642-599F-4C6E-9D3D-8CC58A61A6BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a97b8f5ab91a3a81d57770bd8b46df3f66dbb75","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21668-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702885$5EB84788-ECD7-47C2-88F7-5B1A63BE4398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e14d58c1371593675eb7e02f0f936d186514c9fc","datavalue":{"value":"W995851627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702885$EB571D0D-0DE0-4CB7-8A0D-FCD60EED850D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef896335a236046a69e40d814b99d8c75b41a062","datavalue":{"value":{"entity-type":"item","numeric-id":2842111,"id":"Q2842111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cb5752c60afd97c32d8c81f59c3ca32f025e7f","datavalue":{"value":{"amount":"+0.8202523589134216","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":"Q1702885$8F2EECB6-A891-4CE3-8E46-8B0248951E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc0d1144d70c0b6cd329c4c6118b815cc0993b6","datavalue":{"value":{"entity-type":"item","numeric-id":5246726,"id":"Q5246726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f027394a7682cdcfcad48df67d1bb6b6de7d7235","datavalue":{"value":{"amount":"+0.8199222683906555","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":"Q1702885$E2BA6307-1D82-4554-81B9-9F7CF74D91CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294eb1466989f5ca27f2abd1f40d3c5c38cf264c","datavalue":{"value":{"amount":"+0.7964036464691162","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":"Q1702885$3961D99B-4C0C-4ED0-8C2E-3018C3DE85AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513bd6c3b0e99fb62412c2b47379263f09e6d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988662,"id":"Q2988662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654ca660389f4590c0d4b4d322049af7f0f81af5","datavalue":{"value":{"amount":"+0.7902057766914368","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":"Q1702885$9916EE8D-A9F3-42DC-BF8B-7710671F2C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbd115948536399f88bcc955f5a031b25d01e93","datavalue":{"value":{"entity-type":"item","numeric-id":2164258,"id":"Q2164258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3419a2f4f5ce7a3b661dac859c409566a71093","datavalue":{"value":{"amount":"+0.7874940037727356","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":"Q1702885$3113D59B-09CB-401D-9EC5-42E29885EA4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1702885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1702885"}}}}}