{"entities":{"Q4881605":{"pageid":6911184,"ns":120,"title":"Item:Q4881605","lastrevid":46374741,"modified":"2025-12-24T16:06:43Z","type":"item","id":"Q4881605","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 886137"}},"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":"Q4881605$0767D7F9-8E9B-41C8-ACD2-A9376C5841A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8c35f1dccbb65fd0eb557fe20b221dbd629243a","datavalue":{"value":"0849.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$327DF806-A31B-4CDB-AA89-62AD77764D2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4881605$DCB35F80-1142-4761-8671-224A3A64F759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2870fb3b046894eda9a612bfc9043395b2148d5d","datavalue":{"value":{"time":"+1996-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4881605$6C7289BF-E37E-4ACC-995E-162C8A8673A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$F7FA8D54-5547-4851-AC50-F11DC677E368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$DA57E675-D089-47D3-9D60-243420D6F7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$21E28AC5-2E87-4148-B729-E4C00DEA4DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$5BBFBE80-6EDF-40C2-8152-55BF97C5CE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$95F60F35-500F-40D1-A478-BA8FD31166DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$C9B95D80-AC2D-498F-B9E0-8FB68B77B73D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6993b7d49a39f108b85a277055f58d6ce9fd41c","datavalue":{"value":"886137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4881605$4230CD46-B84E-4530-A49D-7E44F6073068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e7429c719fc5f6eb0660104e7d2b03c7723a31","datavalue":{"value":"algebraic theory of resolution proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$61D59AED-A4E6-4F01-89C7-159FE2B5664A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3f4fcf7f0ce46b6f917b92a85b05010f977817","datavalue":{"value":"resolution-based automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$2E197FD1-47A8-4312-B567-942BAF3D4B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c7088819f4ef90425c28a384456d6974d29aa1","datavalue":{"value":"nonclassical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$C795681A-01E4-41C9-B379-4D62B031EF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dba1840cfccaf0615c6b9e1f40a117005e6011bf","datavalue":{"value":"resolution algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$6E3B09A8-EEB3-4CE8-93F7-2C2A6A4618C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d7b4f173b3d3f77db49dc2cad90803e8739054b","datavalue":{"value":"resolution logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$6C9D5E5D-E62E-48AA-A96F-0AD7D356B97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cb315243e484a9080e32126c6dfab7ec67eee1","datavalue":{"value":"logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$9E359011-0E2F-4230-ADA0-2EC78031DBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d9729e2631e335c2d6ffc58846aa2b1a5074d9","datavalue":{"value":"speed-up techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$EC1C1D95-66C5-472D-AC43-31132C1D47F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffc9826abae024687183edb0c107573187d916c","datavalue":{"value":"efficient implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$CC4542D2-B281-4EAE-84AE-448C30620A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f97cd5eafd4e026c77632af55fce127780432f7","datavalue":{"value":"cumulative nonmonotonic inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4881605$50B64D8B-ECBE-45E7-8865-5A8AD257FA90","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":"Q4881605$78F8A016-BB1F-41F5-86C5-5ADB34F7924F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b0b8df70261eefcfd6c6af38e07856d6659ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4273485,"id":"Q4273485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b78b2a00583f5afdf80350f0d807d4782f3cb97","datavalue":{"value":{"amount":"+0.8586593866348267","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":"Q4881605$B3CDF508-EBD4-48B4-A55D-4AAFB6B04CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c7460402212b3da27076353fde422b4d855972","datavalue":{"value":{"entity-type":"item","numeric-id":4323894,"id":"Q4323894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5234e1284a98a51bd32876f1e0277a3fde2b4f9b","datavalue":{"value":{"amount":"+0.8159318566322327","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":"Q4881605$B2240980-37D4-4B45-91C6-DF293B9FCB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b63ef31947ae5461a11ea4829d0cb6affa006a5","datavalue":{"value":{"amount":"+0.8129479885101318","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":"Q4881605$D874A854-C3D3-469D-AB7C-5F1D05A6173C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089712b1aefb9a812f71c9db1efab06ef62497b2","datavalue":{"value":{"entity-type":"item","numeric-id":687163,"id":"Q687163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b651d02aee67013d15a64f919bdc37f6ecc2a808","datavalue":{"value":{"amount":"+0.8124317526817322","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":"Q4881605$878492E9-F25E-48CC-8CF3-E7FCAA059BEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4881605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4881605"}}}}}