{"entities":{"Q4785507":{"pageid":6815087,"ns":120,"title":"Item:Q4785507","lastrevid":74831082,"modified":"2026-04-15T00:33:53Z","type":"item","id":"Q4785507","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1848313"}},"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":"Q4785507$8E00FE0D-B993-4D70-9A9F-8FAE565B0F36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbf02830eaf5a90e6d74cba398eaf9b0a9d7e12","datavalue":{"value":"1005.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785507$C52AB268-699E-4CEC-A006-5F5E1C7DF9EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4785507$98552421-1359-45BD-B5DC-CEE08E84E116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4785507$0AAD6938-EB04-4B2A-B7B8-FE9778B38F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4785507$A1A964BF-B746-49ED-A5CD-3A790FCCEC13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647ff7685597afdb3a5ed5034dedffaf103053fe","datavalue":{"value":{"time":"+2003-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4785507$531FAC7E-AD3E-443E-8704-A442AE947624","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785507$6B6A5B5E-A0F1-4DAE-A391-3948A4373636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785507$6FC53951-5857-4EFC-AD6D-B11FC87D5395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785507$3F029F6B-A752-45EE-90DC-7F9AFB65007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785507$2E1782BF-6673-40AE-B31D-F2FBDF4B0A4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a897b6df2c8014f8c44350294168b51ae3f3e14","datavalue":{"value":"1848313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785507$E723F2B4-B0E7-4589-8A77-F1C1B87150CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$E02DB93A-2907-4FF8-9B6B-F5786215AAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$54EEA042-BBD8-4026-AF68-07A9E3FA609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$CFFB36B5-733A-4B28-9407-E370799670B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$D8E0FD5C-E192-4E02-BC0D-EBB42E26A681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$1FB87588-004B-4F8E-90C1-208574091594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$F6244D60-8ECB-4FFE-9FE6-BE8C0CC5B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de336b4be9defe89a4ba8b2216f4585518879d1e","datavalue":{"value":"arrays with extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$45DE2A50-A868-4087-804C-DDA2AB8B89BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785507$CBE4EA67-71CD-482A-9505-D8CE781B24D4","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":"Q4785507$D8994F90-0CC0-4F36-BA97-335DDB959C33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c08bb19429ca1f2e03a3dec58bd7828cb204e4","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992055f13c03ffdf1552696cb0fa6587207e8ca4","datavalue":{"value":{"amount":"+0.8462995886802673","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":"Q4785507$F5C8DF8C-6531-420F-8720-5ABF240EBDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa83f5c7af5d1317df7699fe91cebbda68a7a9f9","datavalue":{"value":{"entity-type":"item","numeric-id":3164838,"id":"Q3164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907a39758e27a0e6b22b7a019a9a86d7fdabf82e","datavalue":{"value":{"amount":"+0.8285715579986572","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":"Q4785507$8245E82C-452A-4369-B668-51CBBABA9448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614c57f1d978bd4040dc676506ef9ea3fd54fc03","datavalue":{"value":{"entity-type":"item","numeric-id":4282593,"id":"Q4282593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5116040f64180186800d62a63138afe2bf47f947","datavalue":{"value":{"amount":"+0.8059337735176086","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":"Q4785507$CF4A84CC-DF07-4022-9845-05582B4DD2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1fc4d9137ff5ef39ce870ab2b4c78e18b03353a","datavalue":{"value":{"entity-type":"item","numeric-id":1949088,"id":"Q1949088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b613e9ab5372ab2514f1b0d3b3007348e1fe8a5f","datavalue":{"value":{"amount":"+0.7629088163375854","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":"Q4785507$8B4F28DF-A309-49CC-BA1B-37E4DFCFA4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3d9387720d02a5f4c6be8cf1634bae6ddde0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3540186,"id":"Q3540186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204c710554bff2ad2c79f9d1a151954d8370e292","datavalue":{"value":{"amount":"+0.757850706577301","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":"Q4785507$29F9C896-C5D2-4630-9D3D-34D21E4A9846","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1848313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1848313"}}}}}