{"entities":{"Q3201751":{"pageid":3212459,"ns":120,"title":"Item:Q3201751","lastrevid":49444522,"modified":"2026-01-07T04:16:43Z","type":"item","id":"Q3201751","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178750"}},"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":"Q3201751$299764C8-DCB6-4539-918B-D77B3AD2B958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db632ca5efb956ccb278f45662c41e74aa86ee75","datavalue":{"value":"0715.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201751$B1DC628E-AC79-44EF-9A18-E79B29232E6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05debd28d30b5b089c81f4235d4b68fae4d5a6f7","datavalue":{"value":{"entity-type":"item","numeric-id":174606,"id":"Q174606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201751$47B48935-79CA-4ABC-BB9F-C976992B0DC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3201751$E5502CE9-8BCF-4905-9F4A-6EFA95661A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201751$DA4B5AB0-889C-422F-8592-9ADE1C31F1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201751$A0CE5D97-B66B-41EF-89DF-21FC1417EF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201751$55D0710B-90F0-4801-B371-8FE576EC4BB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b56a5e91576ff8db0400d0094d928091c20ae26","datavalue":{"value":"4178750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201751$BB270A85-348E-4610-A9DB-1B2B7CF84118","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7db75387da560c12ecf02b7babe8836a8f1aff","datavalue":{"value":"semantic of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201751$B06A86C1-8445-4A2D-8FAD-7EB9FCC473F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201751$6236435B-E126-44B4-986E-12B21A1CF71A","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":"Q3201751$9B35FD27-B2F8-4AEF-B335-AA4FA9ECAA85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b999abf56da48ce72404cc382e376a4db466bf2","datavalue":{"value":{"amount":"+0.8642777800559998","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":"Q3201751$D74EF918-E76B-4037-B6F6-772ED02DA3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e2fa057828623b072abee0e94fe2d6bfe9dce9","datavalue":{"value":{"amount":"+0.8639286160469055","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":"Q3201751$F131A71F-65EA-456E-9EA0-7B699A489C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626fb3af3d3ac998a354a7f855f9af0f1855c104","datavalue":{"value":{"amount":"+0.8586426973342896","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":"Q3201751$507A6189-E8B7-4C33-AC4B-3E970BA6FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65082105fb891b8e9faa6335c06fd9678031bdf5","datavalue":{"value":{"amount":"+0.8499011993408203","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":"Q3201751$D10ADA52-E8D2-4B7C-9E7F-6041D8996C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1dbb942bcf5088da2d1fdea67bacdf86e6d442","datavalue":{"value":{"amount":"+0.8466638326644897","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":"Q3201751$D0B31EC4-8DA3-47DB-9839-44890ED38174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201751"}}}}}