{"entities":{"Q3787520":{"pageid":5817426,"ns":120,"title":"Item:Q3787520","lastrevid":52737800,"modified":"2026-01-23T09:44:02Z","type":"item","id":"Q3787520","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051039"}},"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":"Q3787520$A0EE6815-1B64-4D3F-8A1A-CD976EAB4DB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d597224c93b48b190eb040e346807c4b37ed4d72","datavalue":{"value":"0644.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787520$91DF5985-9BC4-42CA-BDF6-04EFFFE19067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d66ae6bb9a38fdfc6764cfc66914558e8d48152","datavalue":{"value":{"entity-type":"item","numeric-id":3787519,"id":"Q3787519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787520$1659FA0D-99BD-4B3B-A60D-EE6BC1827430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e7882536af51bf6c5753ff9b9d81493dcc804d","datavalue":{"value":{"entity-type":"item","numeric-id":1575922,"id":"Q1575922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787520$63D9F882-2AB7-4550-8E0F-203C359500B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3787520$01B8AEAD-FE17-4899-8FD9-BAB422D77A65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787520$232D9790-4D7E-4583-9287-C94A3703D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787520$0A3BE12E-70BE-437C-8B8D-FAF7EF862A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787520$9B209511-F221-49AB-B6E4-98348AD5AC0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb44da6dfcdb790c918f0d478de80961f0fa77be","datavalue":{"value":"4051039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787520$9F8A333C-18C7-4B88-AE26-59D80957B937","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e311458d5d56e89e6bff9dd7abcb918413e4af13","datavalue":{"value":"problem solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787520$041A9E40-39B4-4171-9E9E-C11B9567C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787520$45C31C15-CC72-415F-9889-7CDF16044AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6e384bd39573adf691c20f26b7b74b94781be5","datavalue":{"value":"generalizing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787520$A03CD120-16AE-4A8F-9DD9-4B6AACADD1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6048833604a67bb80793fafd8b6e0dff8f0c946","datavalue":{"value":"higher order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787520$AB302033-D5E0-4010-B2CF-CBEB12F78321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787520$B83247DC-322B-42D6-BA94-D8CDC5C496E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e959ffc0c94d79986278ed1a5c76b500b8ccb2","datavalue":{"value":"explanation based learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787520$6C6CFA36-ED89-4CAB-9E63-40FC27ED9FD2","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":"Q3787520$FCED440B-3506-44C2-BBD0-613667353403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d3e572a3883d539e06556abb2169afd2bbb2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5210770,"id":"Q5210770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04455df90d5093097fe7900cff9dbdb89887fea","datavalue":{"value":{"amount":"+0.7676889896392822","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":"Q3787520$76083CA5-9471-4DBA-BF67-2E985B6B05DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d72b1cf3201e826373b30f24f35b6eeaa866a3","datavalue":{"value":{"entity-type":"item","numeric-id":3783620,"id":"Q3783620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec905ef269effc2e12b388c8235331144aa8a031","datavalue":{"value":{"amount":"+0.7298588156700134","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":"Q3787520$18ECD5B7-2949-4293-8152-D8CFA84CDA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca5e88e3b9c29a4555a38bdbde1d933ebd16ae1","datavalue":{"value":{"entity-type":"item","numeric-id":3493276,"id":"Q3493276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cd57e90a4ee1d6e21da4ecc6982852e9e73099","datavalue":{"value":{"amount":"+0.7149147391319275","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":"Q3787520$951762B2-96DF-43AE-955B-CEC286123A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93edfd845d60c56672462defc9facae3febaf21c","datavalue":{"value":{"entity-type":"item","numeric-id":4246979,"id":"Q4246979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14bf94ecfbb459324c14deb6df2234b0a49ad31","datavalue":{"value":{"amount":"+0.704476535320282","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":"Q3787520$8A30AC30-0A0C-48D5-AB9E-92F29CD18221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc22341547d137c1e8c40719b9d427de189fb834","datavalue":{"value":{"entity-type":"item","numeric-id":4386952,"id":"Q4386952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14bf94ecfbb459324c14deb6df2234b0a49ad31","datavalue":{"value":{"amount":"+0.704476535320282","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":"Q3787520$9DDB5D9C-93BD-447B-9154-08F5A2209FA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787520"}}}}}