{"entities":{"Q4013089":{"pageid":6042885,"ns":120,"title":"Item:Q4013089","lastrevid":55178878,"modified":"2026-02-04T11:57:40Z","type":"item","id":"Q4013089","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63752"}},"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":"Q4013089$99B27AF4-0ECE-4485-BC59-039824B1D6E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a575fbcb2537a19fa8830bc9ef296348d6310dbd","datavalue":{"value":"0792.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013089$CC6416D9-9686-4E63-B6AE-A4CEBCEAE969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2bb9e6797ef83a6bd0f233afed9e9c318f68812","datavalue":{"value":{"entity-type":"item","numeric-id":3197808,"id":"Q3197808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013089$5FCB7B22-04A4-4610-BEAC-6B6D1C7D1361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4013089$9DC491AD-4307-4F68-B8B9-23349EA7E5D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"485311cf2d8d0d8d4fcfe47084561a0e24294c30","datavalue":{"value":"https://eudml.org/doc/23518","type":"string"},"datatype":"url"},"type":"statement","id":"Q4013089$0CD31E1A-DB6A-45AB-A3FB-CA61E5247000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013089$B2CCA889-DDDB-48F6-AA7D-EAB6C2608FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013089$FC652B73-4B60-46DC-8D36-07EC3D87B4A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed2531413aea70cd6dd8bbc67d2fe8d6c3a746ce","datavalue":{"value":"63752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013089$DDE8B620-3FFC-4335-883E-A80C6E3925AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013089$6D137280-334B-4BB8-96FB-ADDD9B0A7DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013089$1B8D0292-83FE-4C01-B968-691E221500F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013089$664C7687-9908-4CFE-BAF5-0753CA90881E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34bd64c57c816bfcda2cf8a84354f2e4a6e9d49f","datavalue":{"value":"Wang's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013089$34E4558D-C79A-43EE-A604-365A9EDD707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad9964871e74aef49d9c9d64f5b74d604c62ed8","datavalue":{"value":"method of analytical tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013089$8EC7E09F-3D89-4EDB-8393-30483EF2A525","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":"Q4013089$3A6598DF-7778-4B79-84B7-FCCA736619DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4ce9aa0174655e3c09178194b0f217e2c0cc75","datavalue":{"value":{"entity-type":"item","numeric-id":4040344,"id":"Q4040344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013089$1B281B1F-43BB-448F-A1B4-FB544681EB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013089$EC406372-E00D-4462-B6E8-9FFE3045A808","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0340062e8c5025643ca4a2e155ce9c8ead744f0","datavalue":{"value":{"amount":"+0.7990832924842834","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":"Q4013089$5F636978-D8B7-4F42-B37C-95102B509984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e237ad7a830e70ec9b93ee00af3924fc33dd49","datavalue":{"value":{"amount":"+0.7838273644447327","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":"Q4013089$EE3B575F-5D04-4958-A9D1-7E59CEFACA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1751aa0b46e9016819a3e53bcfa7f55255366d2","datavalue":{"value":{"entity-type":"item","numeric-id":2770773,"id":"Q2770773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a25a250fa517706bcbb301a9107a365f754fc23","datavalue":{"value":{"amount":"+0.7805651426315308","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":"Q4013089$B40C5E98-0062-4C49-A4A7-6F04C6DA068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a25a250fa517706bcbb301a9107a365f754fc23","datavalue":{"value":{"amount":"+0.7805651426315308","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":"Q4013089$B8C4D94D-D5AF-4969-BDE8-B390E44C3C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41731ee19d9890f0c9d1ff939419833e8c40c55f","datavalue":{"value":{"entity-type":"item","numeric-id":5053010,"id":"Q5053010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a82cdbb5312a4570160f988e58d3dc7631cfb5","datavalue":{"value":{"amount":"+0.7775603532791138","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":"Q4013089$4A2D25EC-77F3-44B3-AD75-670A793DF940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013089"}}}}}