{"entities":{"Q3709872":{"pageid":5739778,"ns":120,"title":"Item:Q3709872","lastrevid":50524592,"modified":"2026-01-14T07:13:21Z","type":"item","id":"Q3709872","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938547"}},"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":"Q3709872$E14FA107-A3EB-4AD1-AD98-E45FD5795304","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30d7736994c4452aac539398090be1642d62b986","datavalue":{"value":"0585.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709872$F415D0AA-0D88-4B38-A7EF-61821D29DEE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709872$632501F8-7DD0-4D89-BC8A-F39B2E3B8D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709872$1F82C326-BE05-47D2-80D2-307BF4AFC5C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3709872$AAABDF55-9532-4015-BB56-B9E8E83349BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709872$A3292B6B-9340-4330-8C52-4FE9BF882128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709872$6FE9A197-A1EB-4617-8A77-96ECFE73B7BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bb1174c2ef3a3310dec43d51470b89c0cf81d29","datavalue":{"value":"3938547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709872$B5776F6E-0C75-4F83-9DC5-853FBE7578A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fb9824f8f58407f8c8c49d0dae9d25453ef314","datavalue":{"value":"higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709872$B8E9EC02-CD25-4FCF-B2A6-3DEA3DF84E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709872$6691EC9F-1502-4BCA-9BB7-CDE07FEBDCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5321e4282405228b8960d8adbde2f837bfd67ecd","datavalue":{"value":"denotational metalanguage translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709872$03296824-D236-4488-BA2E-E433B0FB7C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f402b0663322f62b13946723eee96bd6039539","datavalue":{"value":"power domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709872$02EC63E8-DDAA-4B62-8ABF-0610331BF7E9","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":"Q3709872$9D9F21E1-1323-483A-98F4-4FFF5E123086","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76f2c633d4828d35e5516e52693fb9281d22d87","datavalue":{"value":{"amount":"+0.8421221971511841","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":"Q3709872$234620AE-9F37-4D88-B518-41EAF5770658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c988226a3506b03cd3d641201eee498ded58e51","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129e30393b1ce74d2d654bfebce881e1e4665206","datavalue":{"value":{"amount":"+0.831534743309021","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":"Q3709872$65958902-2176-4348-BC27-02AF0789ED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7131f70b47538a8971620ef8764a1ee332da4ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3718128,"id":"Q3718128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2556df73ccc346b8c245c778185f809659973049","datavalue":{"value":{"amount":"+0.8131586313247681","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":"Q3709872$8DAAA3E8-2F54-434B-B02C-C48D34AE7B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ae8b83a1123f7b7540bca0b5189a5c168e4825","datavalue":{"value":{"amount":"+0.8019251823425293","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":"Q3709872$35CC88B5-BAE1-4429-8700-96FA0B12B2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce40d3ce2af60a44d20623f3e18f0f1d6a2f194","datavalue":{"value":{"entity-type":"item","numeric-id":2968826,"id":"Q2968826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59c84e11ba787e91ffd8db501041ede779bffec","datavalue":{"value":{"amount":"+0.7771949172019958","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":"Q3709872$F42E7089-F5CC-4E21-A110-232238A929D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3709872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3709872"}}}}}