{"entities":{"Q6166139":{"pageid":13301021,"ns":120,"title":"Item:Q6166139","lastrevid":47883583,"modified":"2026-01-02T23:40:46Z","type":"item","id":"Q6166139","labels":{"en":{"language":"en","value":"Relational thread-modular abstract interpretation under relaxed memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721428"}},"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":"Q6166139$37CF86A3-384B-44F6-8366-64D77B40FD92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f49b735d480b6ed2c9abb28deae5e83ec2f3711f","datavalue":{"value":{"text":"Relational thread-modular abstract interpretation under relaxed memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166139$E6A7116A-779F-4E4B-BEBC-807478FFAFA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5328567adf8ad22b9b075b2d1e24dc982ff11cf0","datavalue":{"value":"1519.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166139$AF6050A6-88B8-4B6C-9FDC-13AFB3C74F35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83a7d2fcf8be3eb32a8a8fc84ee4c96f309c3e74","datavalue":{"value":"10.1007/978-3-030-02768-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166139$D0E9C6B9-806D-4549-B3B8-832DADD5964A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc029e71daea3fbe96b0d367fa4ba5e8f2789ed","datavalue":{"value":{"entity-type":"item","numeric-id":6166138,"id":"Q6166138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166139$7273A416-7786-4F0D-BC8F-85D92A94A75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79110293abe8df1d1b69baf84d1546747a32f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":681348,"id":"Q681348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166139$D869212F-C869-4C59-9A64-1540865ABE3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166139$49BCEBF4-E764-4352-979B-CFF00F53AF8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-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":"Q6166139$DC8F6580-45E1-4384-B203-C04B54C327D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166139$4E96D42C-7D2A-4379-A43C-9C3A1BAED97D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf4ecc694c788dd37c1aba0054dd7fdf7c662f32","datavalue":{"value":"7721428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166139$D9E806C4-1B87-4A7D-B8AC-F26933A01A0E","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":"Q6166139$B819D90B-CFD0-4762-A848-B36548EA9D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ebeaba2ba3ea1a2e343cd738f499165f2cc851e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02768-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166139$512B4FBF-BAE6-4803-A423-00B4D8B6DA66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24846c32fa82a66cd9a30e45fcb220fc92df2e69","datavalue":{"value":"W2897215198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166139$39389669-AE6B-47CF-842F-E9A87AFA5BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1609815e354014a0213f2a4853304fd3a5213751","datavalue":{"value":{"entity-type":"item","numeric-id":2961579,"id":"Q2961579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24152abbba79e89b1c4909dd217f3490f012f13","datavalue":{"value":{"amount":"+0.8523953557014465","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":"Q6166139$1B627916-1C90-45F9-9333-47CD85E6415A","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":"78ccbe5c36c803b769eb9ad140f65bf81030210d","datavalue":{"value":{"amount":"+0.8313916325569153","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":"Q6166139$E9E7D03E-FA54-4F70-861A-BCF95BCD7EBE","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":"1c4cb72e8c537308def8844cf1a1e41a04d2a970","datavalue":{"value":{"amount":"+0.8289312720298767","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":"Q6166139$B570B3DD-4FAF-4380-A8AD-CE82B806B5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e119e4eb04887160b9cb7d03680877ce2a9ed7c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1f3d35dae478f3885275f90a8f30de7af4e80b","datavalue":{"value":{"amount":"+0.8025397658348083","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":"Q6166139$0C2D349C-5767-4FE3-A532-5676995754E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f722977cc1ab9320e1ef142ecf236d3a0eae72b5","datavalue":{"value":{"entity-type":"item","numeric-id":2145344,"id":"Q2145344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33789bf8aaf593c27b420cabbf3bf07d0c56e351","datavalue":{"value":{"amount":"+0.7705686688423157","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":"Q6166139$45CF525F-95E1-4D45-A3EE-03595D1AA5F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166139"}}}}}