{"entities":{"Q3485886":{"pageid":5515786,"ns":120,"title":"Item:Q3485886","lastrevid":49402993,"modified":"2026-01-07T02:40:01Z","type":"item","id":"Q3485886","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157911"}},"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":"Q3485886$19D3F04F-316F-4CF0-9445-CD1738CF365A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be990b003e3e0d8bbf21d6f3561cab79ba49fb3c","datavalue":{"value":"0705.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485886$6C8EAE1D-2AFE-49A3-A176-77ED23AD40A4","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":"Q3485886$7CB33833-F1A8-46F6-BF7D-A68E5524F0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3485886$3793A4A7-121B-4479-BDE6-A07C05A3AB6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3485886$B97723D5-7277-49B1-A002-72A5C43287DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485886$4D7C0D28-2730-46D4-B6F4-372A869519CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485886$7B4F73F9-FE4B-4890-B99D-25AD9AF3EE51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab71e3add384702abbb97a9fc1ab7482d57c3b9","datavalue":{"value":"4157911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485886$48F2A74C-8BA0-4B49-80D5-80EFD24FB7E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485886$27919550-645E-432A-BEF9-39D5E52DCB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcbb8ac89c67758f97b1408927504e1c09496871","datavalue":{"value":"strongly finite logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485886$37CBC2FB-31F2-4EAC-A6B6-C89DDF247385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45fad35da21c15d086ba1f7956b8ea1fe77cfda8","datavalue":{"value":"complete nonclausal resolution proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485886$63828012-988B-4018-AFC3-0C4528BF0B86","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":"Q3485886$64F82173-8FBB-424F-A7C1-4A7A4CF47A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1104384eab5bc3cd4f031328aa216f6bcfe1e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":5748907,"id":"Q5748907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e833e11492be421e32153b26851b0b83d56686f","datavalue":{"value":{"amount":"+0.8611078858375549","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":"Q3485886$8257D585-BD0C-44B5-95DB-13742E2BB0EC","rank":"normal"},{"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":"fb9ab44aa2b90a13c41819aea3d7ddbf19d36611","datavalue":{"value":{"amount":"+0.8509312272071838","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":"Q3485886$A1CBB407-7FE2-45DA-9B0B-16F0DE4CDF93","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":"3f93ad606a8e8f848631125a5e22fccd3946b1ff","datavalue":{"value":{"amount":"+0.8213036060333252","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":"Q3485886$3DB93A9D-35C7-4382-B0E2-EC3C44ACC922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfd9cacfb382743e4e8b8fba5485149f15e1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3768867,"id":"Q3768867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f93ad606a8e8f848631125a5e22fccd3946b1ff","datavalue":{"value":{"amount":"+0.8213036060333252","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":"Q3485886$CFAB3AD9-3DEC-421D-BC5C-D81584693564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdec01f3c91c07e4dbdf899aff373f49d6439131","datavalue":{"value":{"entity-type":"item","numeric-id":1187026,"id":"Q1187026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c1b1c7ff4416591b5fab7c519f2614c67d9368","datavalue":{"value":{"amount":"+0.8167333602905273","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":"Q3485886$709C3AB7-E532-49D6-958D-C443EFC653E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3485886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3485886"}}}}}