{"entities":{"Q3769997":{"pageid":5799903,"ns":120,"title":"Item:Q3769997","lastrevid":51977519,"modified":"2026-01-20T16:29:16Z","type":"item","id":"Q3769997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028945"}},"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":"Q3769997$EDDC971E-64B8-419D-8A24-E686CDFBD6EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e70225b50e4a3942360a777e910e975791904311","datavalue":{"value":"0632.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769997$5E529904-70EA-4B0A-B851-2B18AED4B9BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0835581275e7ca97360d1d0cb5ec39dfd33e70b","datavalue":{"value":{"entity-type":"item","numeric-id":293241,"id":"Q293241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769997$599B861F-25AE-4DF6-A46C-2E01F5308B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c71ae53e6bfe5be027dde12ce0e8b4f93208630","datavalue":{"value":{"entity-type":"item","numeric-id":1245198,"id":"Q1245198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769997$01A14648-DCED-426D-BA2F-22245EEEA51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8eab2298520a0feeded4a62998d22d85d25a79","datavalue":{"value":{"entity-type":"item","numeric-id":3769996,"id":"Q3769996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769997$779D3758-09D6-46C4-9D5F-081A1642E195","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":"Q3769997$0416F94E-605E-43D7-BF6F-CF2CA55A1156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769997$985C7CEC-82F8-4B62-9269-C4D8FFA59ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769997$48A69254-592E-4398-ADE6-CE3FAC742AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769997$9EE8B548-A805-4689-95EB-C589E6837291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15a5e0f8ad288b29dc1bc9e30405c8a58fe6e37","datavalue":{"value":"4028945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769997$2221B4C9-364C-43A1-83E4-9E54CA155804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769997$B4C21774-2554-456A-921B-782B288F468F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a5b051fcb61c557b7a3a9a1917ab51d76c7844","datavalue":{"value":"rule support","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769997$13412DC9-0C21-42CB-8545-A78863E58F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b673383346204dd6a4113500bce2e0de52bc39eb","datavalue":{"value":"goal-proof processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769997$C6F1DF3C-DDF8-4E94-84D3-DFFB6E1520B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769997$6892F060-E1BF-4262-A2C0-039DD629BA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2729296015a20887039cc0e662ef99d376663ccf","datavalue":{"value":"additional support knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769997$476CA56C-CE28-4E84-9053-2D57363B8BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71adc7713bcc3a78b44795121d792cdad17deb7f","datavalue":{"value":"large internal database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769997$508960C3-64B0-49CF-9877-0AA0CB028355","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":"Q3769997$54B98579-75BA-4E53-B004-5A24AA6D38E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e45bf061d1c3bb1ced2fd0addd3d017dd4a7785","datavalue":{"value":{"entity-type":"item","numeric-id":3745323,"id":"Q3745323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d1fdcc832afbb49dbe59c155d626fd4992662d","datavalue":{"value":{"amount":"+0.7527097463607788","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":"Q3769997$3538E2D9-7BAA-4611-9781-9E705856D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d588dc3c1217abee83c5c83875e16fa58c4e562","datavalue":{"value":{"entity-type":"item","numeric-id":3782839,"id":"Q3782839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895d06a239627543141849e368a88f2098aa193b","datavalue":{"value":{"amount":"+0.7395204305648804","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":"Q3769997$7C3CD7BC-35A6-4091-91B1-EB244C45099D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3885aa1d9c6f8b4a7685e91a5b2959b27d494ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4365355,"id":"Q4365355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352b33235f036aabbdfcd38cb2c76927559cc76c","datavalue":{"value":{"amount":"+0.7294570803642273","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":"Q3769997$A860CD42-BB85-4677-B511-3BD32C545608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e89a4130f774c1671f16fbbd3be62728b6f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":3486855,"id":"Q3486855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fb5d8c98cb5da1c1fe8a1a14d27adf4888f581","datavalue":{"value":{"amount":"+0.7124775052070618","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":"Q3769997$9C14C5B8-8B34-4FBD-9A74-34704C9740A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f7db97df394a762d29336fddd05cc921bd1e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3776675,"id":"Q3776675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36b93ef02361d0886d1b2c1dc5597f314e39bbf","datavalue":{"value":{"amount":"+0.7008979320526123","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":"Q3769997$D5ADF83C-CA8C-4559-B03A-9385F2ABA605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769997"}}}}}