{"entities":{"Q5176929":{"pageid":7206501,"ns":120,"title":"Item:Q5176929","lastrevid":58464168,"modified":"2026-04-05T08:17:19Z","type":"item","id":"Q5176929","labels":{"en":{"language":"en","value":"Abstracting abstract machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411495"}},"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":"Q5176929$4413F623-1F85-427C-BF7A-027CAE6FC672","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7867becc7c00527934519d63d761035951802961","datavalue":{"value":{"text":"Abstracting abstract machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176929$AE6E0D8B-E063-466E-8377-2EC660EF414D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"995a48e2c1e522f54ac813b66ffd07fc4a3c4542","datavalue":{"value":"1323.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$77A15D54-B591-4A8E-81DC-0531E2447CC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a5ff40fee5646609d6da6db74e86c47195cbcf","datavalue":{"value":"10.1145/1863543.1863553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$F9E9F920-15CC-4D3C-9D77-0BD60A378D74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176929$75841603-108C-4ED7-B830-367A8B5E2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1fb940fe4766e5f9dde191175dcce387f32975","datavalue":{"value":{"entity-type":"item","numeric-id":879359,"id":"Q879359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176929$DFAFEC85-ED33-45F9-A6FE-F78B2E79C2EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176929$F5928455-A2AA-4992-91BC-B12689FE8156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176929$8B2D5F1B-F502-4124-B5BA-BECA86A1E6CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94e4234a2176933bd8cf4eef648e1ce2384fe491","datavalue":{"value":"https://arxiv.org/abs/1007.4446","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176929$2B9B786F-B155-4718-969E-543F84EF4020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"48251b30a50424fced565b9232a1946210898c54","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.9795","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176929$C52E58BC-5E32-435C-B6E7-71318058B37D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$EA4276B3-9502-4D9B-BB85-8518A00C7464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$5007B5C2-045A-4D2C-BDDF-78981193619B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$48E4BA3A-B26E-483D-B80E-733FC0E615B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd9551532a471081f1f00764b2834caa4ad437c2","datavalue":{"value":"6411495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$8313F35A-5D16-4207-88B8-E532483C04E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176929$AA768B21-3460-49C6-86EA-535D4FF3F208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176929$6C3183CF-E6BE-427A-9F80-35A07CA19473","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":"Q5176929$F8C90FFA-0F8E-4B31-9DF4-A2E763202D56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68b3907c677920ab1ded0b5982b35c99d376ffd4","datavalue":{"value":"W2013885073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176929$883F12BD-849D-43EA-A928-F757C7B8BEFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446613962c25e7551415765ca0c45ef7be90815","datavalue":{"value":{"entity-type":"item","numeric-id":3165529,"id":"Q3165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ae7acd41863ac0637b559aca32aa5b5fa1e96f","datavalue":{"value":{"amount":"+0.9542431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$0092B741-933F-48AF-9023-8174E8910E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52072a47db82f2c73de081dd1bc1cf65340a39f8","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c159b9fe203bb3be1a46eec3c50adcc73e34e0f8","datavalue":{"value":{"amount":"+0.91463923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$AC40548E-E552-48C8-BC9A-17A2DE532AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4428e4117219f67381d9095c6a8836c2388661e4","datavalue":{"value":{"entity-type":"item","numeric-id":5244823,"id":"Q5244823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a4c8168155498e09ed1cc0f0329436dae60fc0","datavalue":{"value":{"amount":"+0.90735245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$9E83FE01-5729-4E4D-8049-567AB862B561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c458e70f6038dd41325747d4ffa82a543c9745","datavalue":{"value":{"entity-type":"item","numeric-id":4279254,"id":"Q4279254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2606bf2babf135f7cbc93d1b0c7dbebf763ca0e2","datavalue":{"value":{"amount":"+0.89992094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$397F101A-5F93-4073-9748-49B43EFBF36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5994b3094a9d612d490dbac88ab67ae56dbbef3","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb75b41c45e237ed653e4c780f4c7652ccd37d10","datavalue":{"value":{"amount":"+0.8997133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$9F868328-162A-4F1D-820F-A85145797913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec3be053c0496b730a6e83c3d93e4f021451039","datavalue":{"value":{"entity-type":"item","numeric-id":4813223,"id":"Q4813223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b78726c0f3dcf3cb98ae1bcdd5dfad15df350f","datavalue":{"value":{"amount":"+0.897362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$F36780CB-5418-4FB7-95D8-8227939CCDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf3588aa50e3369947566ed97ffeb5d14f71336","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f293603d83ef3fa48c979de1b3090d46ba0210","datavalue":{"value":{"amount":"+0.8969325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$8CB1E796-09B1-40BE-9911-92E949890EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b8799d431fd7369867c587882c377338cf5f61","datavalue":{"value":{"entity-type":"item","numeric-id":3453649,"id":"Q3453649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c6ba96b8b0274893ba491e0d12f289034afb36","datavalue":{"value":{"amount":"+0.89394444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$FD18F587-EB63-4435-A5CA-32DF60BE4804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4413f2d4f1b96a82414ee2db1446389d273ddea","datavalue":{"value":{"entity-type":"item","numeric-id":3721820,"id":"Q3721820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1a428d05321aa117cfba951048475c5fd0a0bf","datavalue":{"value":{"amount":"+0.8829778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$D3A4E825-54E4-41AF-B296-9F883BC5A718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821d4caec5608df4d9c3b134be10e8dfa7385f46","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1a428d05321aa117cfba951048475c5fd0a0bf","datavalue":{"value":{"amount":"+0.8829778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5176929$53319BDA-0717-4E9E-BC5E-BE0DB53023A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176929"}}}}}