{"entities":{"Q3486874":{"pageid":5516774,"ns":120,"title":"Item:Q3486874","lastrevid":46924419,"modified":"2025-12-25T21:01:50Z","type":"item","id":"Q3486874","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160159"}},"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":"Q3486874$5C865D9D-E767-43E3-89E2-9E3159844E8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf247cee02df9573f9a6361b4ab3ff34018c6e84","datavalue":{"value":"0706.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486874$9A2DAF0F-8EF1-4971-B4D0-FF3A04587C8B","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":"Q3486874$E11EB23A-CEA8-49BD-BB82-A5E24ECCE01C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486874$75170611-7778-45CD-B9A6-72E4C2CDEACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486874$F6E28BCA-3C92-4F22-80E8-4F22623C8E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c59872b0a2f3313a0021bfd3881116bf55becd95","datavalue":{"value":"4160159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486874$A72AAC72-00AB-467F-9C80-27D87ABD4222","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$38DBE349-FBF7-4FC2-896B-FD958F10369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810d55c5574fbe3cf3264074e409d46a5bcc56ec","datavalue":{"value":"inference rules binary resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$C173EA69-DA60-45BD-A7A9-ABE4E9AD9281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$E6E8A6D8-FBF7-4ABB-AEA0-199794E17E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05de897c4f428f153177ede72c6835679adc7def","datavalue":{"value":"UR-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$92904A3B-03B8-43B9-A952-02184DF7B394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab17d75cb91d9a41f1d3af4ac213d2596c2a2160","datavalue":{"value":"binary paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$0F96DCAF-D743-4A70-B22F-346560622455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$4ACB249B-E1D9-4888-A417-DAE422344B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eefc55d19757133a6d7014afa3f41525412be29","datavalue":{"value":"factoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$6C42A4DB-DD42-4B91-A3BF-7D18051DE8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c858f929b29e59b7cabf3c44a94a679e964a0ddf","datavalue":{"value":"weighting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$88A7C862-731C-4D6D-8D16-C73197CB1741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a083b0d928be2c98aa79998ebbf40f3a981e589","datavalue":{"value":"answer literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$F35EEE34-9D47-4D3F-822D-1C1A4AE1F484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38905366263f6a518aca558c27818f32d073c764","datavalue":{"value":"term ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$F0B67244-10BE-432C-BAE6-1917DEDD3069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e30595623e34e442211a5c68d712e6f92833d6","datavalue":{"value":"demodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$4432653C-E486-46BC-929F-8CE7E1C8E7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f35984d75f96b8273ee58ad427140a23f29b8c","datavalue":{"value":"C","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486874$FFF5BB67-6473-4CDC-8E6D-994E78C4170F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ec68fe7f46b4562359ce5165d8a1d37d9ac8a","datavalue":{"value":{"entity-type":"item","numeric-id":1267513,"id":"Q1267513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486874$944D9F1D-9EEA-4AE0-AC84-784A81FA7DF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486874$EB1F6FCD-2B81-41D6-8CB8-B158E84C5690","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":"Q3486874$6896611C-C3E3-4D38-8C19-A80F5EE955C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bdaad05d5c51987524bcb49dd5d14706fb261b","datavalue":{"value":{"entity-type":"item","numeric-id":3533154,"id":"Q3533154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6394cccb5ba1efb4817278ce2ccf483ba2af3e8","datavalue":{"value":{"amount":"+0.90150416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$9F4EDCA5-C536-4FDF-9D64-97948B838288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb025b1258934e11061ce835e43e626e73f1576","datavalue":{"value":{"entity-type":"item","numeric-id":1122363,"id":"Q1122363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926071a7b77fbe326eb8399c4a5fb2f92378eb93","datavalue":{"value":{"amount":"+0.89169025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$A3E30F7B-332C-4D8B-8F31-1808A21617D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e82d2dfc118f5923143098851e55d0fd6f35780","datavalue":{"value":{"entity-type":"item","numeric-id":5718720,"id":"Q5718720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19ca691e659cd5d512cf7e27334d90642b57767","datavalue":{"value":{"amount":"+0.8671288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$C26CE823-780B-4356-9583-85BBEE9E0579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c39ceb87b78fa19ce5077c814a791a68af5067","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab22cb0f41a9f275e543bb3c3f8fac7d5eb83f7","datavalue":{"value":{"amount":"+0.8630023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$E1368C73-F499-4AF9-936D-34A6CEDA9B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61ac3642a1b3cceb2e2563e37dd1966accb9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4518822,"id":"Q4518822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2efbb2fc224ebf43b2fd2901c6082eb17aa437f","datavalue":{"value":{"amount":"+0.8584864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$1CCCECF1-835D-48F9-BD05-91C630EACC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a4dd9c95fb0cbc9e4a22c3e50e897c9decac61","datavalue":{"value":{"entity-type":"item","numeric-id":5583089,"id":"Q5583089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa20ec83b7a4943eb23ffe5ec6163ab73f3878f8","datavalue":{"value":{"amount":"+0.85692286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$F973D646-4471-4481-88BE-2C574248B14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25a82bb2a637701f8c749ce71da331f94d0cbfa","datavalue":{"value":{"entity-type":"item","numeric-id":1083856,"id":"Q1083856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9073903cfcb76253639cdcdb80f6661c3c6913fb","datavalue":{"value":{"amount":"+0.855553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$23BC84F3-EB53-4D1B-8F67-982EB07FF053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf318676ff16089f319b608ae9a73ab06d3172","datavalue":{"value":{"entity-type":"item","numeric-id":4778494,"id":"Q4778494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84858eb73566b3f3ab4304056e30cf79309470d","datavalue":{"value":{"amount":"+0.85185194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$408391C1-E24A-4122-80CA-28C39B1513EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2ab1749cfd1cb1654f9bba92afb846f1670ac","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc5124bdeb4d232459892900583362e3f60b42e","datavalue":{"value":{"amount":"+0.85062563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$B2E290F8-68F2-43F0-BF27-65227B52D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913f5efd90d90f85d5491384cc864170d414521d","datavalue":{"value":{"entity-type":"item","numeric-id":5200131,"id":"Q5200131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c737e54279f7d88cec508d0779abd67ca82a4a9","datavalue":{"value":{"amount":"+0.849591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3486874$1DBE3334-216A-4190-8376-6ED8B4A9F001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486874"}}}}}