{"entities":{"Q4732442":{"pageid":6762019,"ns":120,"title":"Item:Q4732442","lastrevid":41146980,"modified":"2025-04-18T12:30:43Z","type":"item","id":"Q4732442","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4118335"}},"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":"Q4732442$3194249B-8C15-4C04-B61C-F93B9DEB489C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff404a7b9899e5646b6fe40104e4285bb46e90a5","datavalue":{"value":"0683.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732442$760FE61B-15C3-4E7D-9471-E472034C0E5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f2ce6a2fae2839298ca27b0314307752f928c7","datavalue":{"value":{"entity-type":"item","numeric-id":2769355,"id":"Q2769355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732442$27B5742C-9C19-49A2-A031-6BBB0909A194","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":"Q4732442$0A9F434D-A849-4957-BE6D-838C00BBE4A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732442$8A1DDAD9-C987-4987-B955-8E33CBE903DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17fede402ae7bc5f9d385350b0b4f28b5ab8fad6","datavalue":{"value":"4118335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732442$2F6E34CF-0681-49CE-8142-C3A809E1EEF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e661111d74511eb2b6ae937bbacbe08cff355c","datavalue":{"value":"completeness of a resolution deduction method for Horn logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732442$BAC7FA8B-CAF5-4C7C-B7C2-B594825D3E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1535c675eebd5eca41b07a0d3526cc17fecd1746","datavalue":{"value":"input semi-lock refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732442$4F7A47C0-7613-4E79-B41A-AB64F526E795","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":"Q4732442$0AABA74E-BAA4-4B27-8043-E4CAE1BAAB0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98a758a3e35333c2c93f65499354ad762ecb8bd","datavalue":{"value":{"entity-type":"item","numeric-id":3781065,"id":"Q3781065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb01f727ba9031491a35e55291eb913af6f36a0a","datavalue":{"value":{"amount":"+0.90132916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$DF4D721C-230A-4048-AC42-4163F9AB2CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774cee762b0526ba9ad518a41349a26015cb58c9","datavalue":{"value":{"entity-type":"item","numeric-id":3777988,"id":"Q3777988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829efd823dd499e57145ddec7251a0cc79c35d94","datavalue":{"value":{"amount":"+0.87113357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$619AAA3F-8E54-4B2D-890B-8C7DA79AC05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd4596b435c2624f038d71622d1caff610ea38e","datavalue":{"value":{"amount":"+0.85004216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$0D0CE67B-376F-45B7-8DAE-BC1613BDB636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd4596b435c2624f038d71622d1caff610ea38e","datavalue":{"value":{"amount":"+0.85004216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$995C7B00-A7CC-41F6-98AD-A45546C9D51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c67288151f951451425cfe3527013025b28716","datavalue":{"value":{"entity-type":"item","numeric-id":5866468,"id":"Q5866468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a07b526338908d2a0e9192739f81ae2d6ba5ff2","datavalue":{"value":{"amount":"+0.8423354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$7908A7F0-268C-4A40-8FDC-5750B97C3864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d113a64e324e862d3422c0330060a44e3c677c2","datavalue":{"value":{"entity-type":"item","numeric-id":2151419,"id":"Q2151419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982a6b4610174f3cfa4f11b17cfa1226bc37dc40","datavalue":{"value":{"amount":"+0.841009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$F556A05F-2158-4B8A-AE85-ACF554E06FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac8d73d2c92b925a6a78ed07f970fd2f8b0c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3818296,"id":"Q3818296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a02036b1cf68ad2d2cd99934411f1043f665dc","datavalue":{"value":{"amount":"+0.840988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$763E43DA-339F-4CD3-937B-4F5CA4180CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e780fbad81d6cb2fb1f7a51faf7531611904944","datavalue":{"value":{"amount":"+0.83832693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$1229D47A-F8A8-4275-8A88-FB2DD35EC00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa97f4a61188b69cafa315241f3a8444970fc9b","datavalue":{"value":{"amount":"+0.834643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$66CD5159-7F46-4F43-8EB4-D41C2C394A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c52842aa0ef3fdc23d94b72689bbf2813b0859c","datavalue":{"value":{"entity-type":"item","numeric-id":3124320,"id":"Q3124320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7dc37dfe37006ec2c80731b923dc41cb4f69e3","datavalue":{"value":{"amount":"+0.83445406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4732442$B311DE3B-8BE1-4AB4-AF59-335029E135BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4732442","badges":[]}}}}}