{"entities":{"Q2986931":{"pageid":2997655,"ns":120,"title":"Item:Q2986931","lastrevid":85304561,"modified":"2026-06-03T06:49:02Z","type":"item","id":"Q2986931","labels":{"en":{"language":"en","value":"Compositional heterogeneous abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718249"}},"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":"Q2986931$77F7C5E4-2611-4759-A273-8FC8CC0083B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1d58a5cbff467d1eb47ec1dd082e3da38249ba2","datavalue":{"value":{"text":"Compositional heterogeneous abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986931$D353B3E0-B93D-4F52-9B0F-41842B0E85AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c40a6d58cfb39fcb871afcfa73a997d82830219","datavalue":{"value":"1362.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$4573422E-DACA-4DCC-8ACE-CEC019619FAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d0e59ac07dabab0590541081e2980cc07abb9bc","datavalue":{"value":"10.1145/2461328.2461368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$37E2AAF7-92DA-4446-8BF9-0D0C0AC3933B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b323237c43d587292df536235587252d28ff523a","datavalue":{"value":{"entity-type":"item","numeric-id":2982918,"id":"Q2982918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$39A03E1E-2284-4ABD-B94B-88A2DF985C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$B628A927-69CF-436B-911D-B581D645B928","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6451d3247f0abc57e95c36b772cbc5d6298df016","datavalue":{"value":{"entity-type":"item","numeric-id":2986904,"id":"Q2986904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$B9486415-0E3B-438A-904C-932A8B013F05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986931$99D49B86-F50E-44D3-BBD8-B0488A877F9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$8D94ECA2-C196-444B-8AAF-2AA838D28458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$329D7149-4490-46A3-83B9-49834DC5ED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$3AC93127-EDBA-4E42-9071-DABD96601BFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d027bece511091acf52fb2b7f43b3213a793c7","datavalue":{"value":"6718249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$8715BA3D-4589-4012-B00F-7FF17D30D26A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986931$88D40A36-B4DF-4857-BA9F-1937F60F2FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d94e059897fde219401bc4ccb06728e55f2c23","datavalue":{"value":"heterogneous verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986931$D87EDE35-9FE4-4BA1-8B7F-054F2D6EF16F","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":"Q2986931$5DB7EFC1-2C31-479A-969F-2E3BB872A69F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53d2b26603412624a6261d92c16eab60fde2b568","datavalue":{"value":"https://doi.org/10.1145/2461328.2461368","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986931$58A32005-BB1E-438E-9555-FFC516851F54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dab9ab002ec8153b83ca8151dd776cb134a9be78","datavalue":{"value":"W1995465248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986931$350B74EC-D230-44DE-B4BC-4012BD4D8D9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$4F11C4A3-B969-466A-8AB1-A6F1E54B04B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$00A1B937-18D4-417A-A9D5-C15B11A69FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$0922AC98-318B-480A-84CF-D78623C4E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$F6B11AEC-7DBB-4332-9B86-A2132AEEE421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$3D227EFA-ACFA-47A5-9651-6F0B2AFE93E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$3911DDEB-D362-4292-88DA-98054DD09E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$08D22183-69DA-427C-9767-6C2FA447EC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfadda0faa512cfc7404e1701fcf546dc198dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$059D08DC-D2AE-4662-AA72-52862F8DF4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$061F0796-A490-4CE5-B80C-597E46F44499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$AC63A0CC-62D8-4A89-9C0B-7FF4F186A10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986931$4390F79D-0609-42AD-97EE-780E2EA30DC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4bea6b928dcbce424f7af586b1dcaf7f269524","datavalue":{"value":{"entity-type":"item","numeric-id":4736608,"id":"Q4736608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1531acb85db1c7060e99e6aa09936e3fe1d0d2c8","datavalue":{"value":{"amount":"+0.7681562304496765","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":"Q2986931$D8DBB5A9-5676-484C-A9C5-6E212C37AAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f450fbcd100be47c4740226c72b7549961277f6","datavalue":{"value":{"entity-type":"item","numeric-id":1428350,"id":"Q1428350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489dcd896228b9b2dfef6605473fdd2a8a4956e0","datavalue":{"value":{"amount":"+0.7612931132316589","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":"Q2986931$2D0FE2F2-B908-44B9-8CF3-E2B18C1708C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44bd7aa7a5d5233a507b672bda57c22c035f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cbfd4c68c0bf9e258f1adfa9871b041a4cfaa8","datavalue":{"value":{"amount":"+0.7612332105636597","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":"Q2986931$1272EFDB-BF9F-4AF5-914C-FAF3D3F4C23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a517378f6ca36d0c609c06d330fa3ceac5fa1537","datavalue":{"value":{"entity-type":"item","numeric-id":2986750,"id":"Q2986750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fd64b1e643feffcfbb35aca772ae1057c07edc","datavalue":{"value":{"amount":"+0.7579244375228882","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":"Q2986931$9B07C6C6-2FEC-458F-8C9F-04F54256F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54637c47a58afdfa2c477a578c83587b32f89bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5019667,"id":"Q5019667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5cce539e048b30a7f4bd6bc5f8c9d8c65e7819","datavalue":{"value":{"amount":"+0.7481319904327393","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":"Q2986931$E668110E-D2AA-4543-AA88-299B2B5E72C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional heterogeneous abstraction","badges":[]}}}}}