{"entities":{"Q3201766":{"pageid":3212474,"ns":120,"title":"Item:Q3201766","lastrevid":49444696,"modified":"2026-01-07T04:17:19Z","type":"item","id":"Q3201766","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178791"}},"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":"Q3201766$3841CA58-A878-4690-9541-6577F4C86854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f5005962d8722702191b86f1958e148ee68731a","datavalue":{"value":"0715.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201766$B1EEC47E-4621-4835-AFE6-10A15CC6EF68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75690ad20178fc139d1f5594b169549707d0f65a","datavalue":{"value":{"entity-type":"item","numeric-id":3201765,"id":"Q3201765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201766$8D91DFFC-C7E4-4780-B265-A645FA632EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201766$95AEA0A9-B752-4A9E-A43E-D2FB0BE71097","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":"Q3201766$B35E8562-540B-428E-BC70-1359CCC76D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201766$FB0F8134-FC8A-4147-8C50-C59D4DCC7AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201766$03DABBF6-85F0-40E2-AB3E-DE397DF7007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201766$97E06D7D-A531-4A36-B6C8-6DA7C0242AEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239c2b1353073b56a2293a25d4ebb01f87407dfc","datavalue":{"value":"4178791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201766$C9656A39-54E4-4005-923E-532F70F2BD5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201766$564A8B5C-F777-47AD-B304-908B3FBCBA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201766$9C028C81-4D0F-4887-8806-2FC039CBEB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e950e8d28baf59be2ce03e273891db53689b89f9","datavalue":{"value":"Horn clause logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201766$B81A4644-93C4-4393-888B-A4243F4F5160","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":"Q3201766$F5385842-7FCA-4441-B15C-0F1DF74F1414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656486f250633abf5554fbc58fd9a379412b9579","datavalue":{"value":{"entity-type":"item","numeric-id":4736494,"id":"Q4736494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9d038e2818250f6d2a79887f88a3722ad7f05e","datavalue":{"value":{"amount":"+0.7493153214454651","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":"Q3201766$4F316627-9C03-400F-BFEC-B5D9A3CF4115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9502360bbdcfd8ceb1ce5a5a1fbbc34bf7c2fd96","datavalue":{"value":{"amount":"+0.7355866432189941","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":"Q3201766$E1E60DE5-79C9-422C-9F35-2F2B96A2F34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28c9ef42dd094e7a07c2ff79b0793d74f81a280","datavalue":{"value":{"amount":"+0.7247254252433777","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":"Q3201766$E02328A1-F02F-4653-85BA-A5A760B1E0E6","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":"78dfad35338fd0735e693ad1992395c9ce105e74","datavalue":{"value":{"amount":"+0.724258303642273","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":"Q3201766$FCD7B721-A40D-41DD-9B35-2BB0704F007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef25d8c0857b60c32aa08f7baa2701959b84129","datavalue":{"value":{"amount":"+0.7140822410583496","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":"Q3201766$90E6C28E-AE46-4568-98D8-3E6BCAB4A4D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201766"}}}}}