{"entities":{"Q4292828":{"pageid":6322429,"ns":120,"title":"Item:Q4292828","lastrevid":46322265,"modified":"2025-12-24T13:54:22Z","type":"item","id":"Q4292828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 569781"}},"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":"Q4292828$2D32F507-5B38-45E4-939A-A3DFCEE6C67F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca31eba14453f4e2c93274347ea2b106f52ca0c2","datavalue":{"value":"0804.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292828$19D66630-EEEB-481C-8544-4BE9C22695A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe73209de434a8429b90bb40bdd043de762457f","datavalue":{"value":{"entity-type":"item","numeric-id":4292827,"id":"Q4292827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292828$1A27286E-983B-4B7D-A3F3-AA1C51D5BFBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c18755801a88dcd8669b172a905f586b29f555","datavalue":{"value":{"time":"+1994-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4292828$5A84BFAF-7EAA-4D9B-A73C-A73A573D950B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292828$EBE9B601-3B40-4C6E-BB57-BC3B342771E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292828$25589005-687A-4B8F-8825-45C4633259F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292828$44EE6958-BF00-4D6C-BCC8-758E0C75C579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62ecbd00c5fe72ce9ba81a959c55700de761fc99","datavalue":{"value":"569781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292828$9AE06606-8193-4606-898A-A17979EAF1B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d619484f573b7b106a2fd3b0dc8f1654347aaa42","datavalue":{"value":"intelligent knowledge based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292828$E104B0C9-8FB8-4F94-8F51-D120571ACBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b41216a3a99e87149265be66fa9be2dac6593d","datavalue":{"value":"natural deduction theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292828$97C5193C-D1CE-40A7-A2DB-EE032E936C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292828$9C49924F-D4CA-4D76-8B2A-3AF1454A1F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"293d18339dbd2484d9c56ca9f20a0c7f4ce07f6d","datavalue":{"value":"logic based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292828$3E778C73-BD52-4E44-A8F3-170AAC5D3C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292828$DE80C0D0-833F-4882-8BA7-A4F20772CCAF","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":"Q4292828$F4EF1455-A2F3-46C1-AC0F-038997389B19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9590ebed79aeff8b149fe93a026f93023f1521","datavalue":{"value":{"entity-type":"item","numeric-id":4518817,"id":"Q4518817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9335905f3c3e38fa04aafcad8c6f9b9d0bcb47","datavalue":{"value":{"amount":"+0.7836984395980835","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":"Q4292828$C4CAA998-CDCC-417A-8BA1-C45F986A25C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688183debf78d7be6c233bcca2226b2878b2a097","datavalue":{"value":{"entity-type":"item","numeric-id":3075231,"id":"Q3075231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00807f042bc3496ace2ae4ef10d32c82fc479f02","datavalue":{"value":{"amount":"+0.7614160776138306","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":"Q4292828$D16DBF56-689D-4F8F-BE31-79A4420C7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7204ddb2d5e477fcc734f34ff7cf30eb2856410","datavalue":{"value":{"amount":"+0.7526212334632874","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":"Q4292828$D50E2711-07A4-4911-81CA-E2B6EFDC0C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881c3d1aaf0c3efeaea3db8a1e2cdae643a1b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":2779421,"id":"Q2779421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b4d92065dc809a397305fa849d011c30860340","datavalue":{"value":{"amount":"+0.7421538233757019","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":"Q4292828$85B83308-9AF4-4041-8EE7-FBEE3F29BE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1350d97ade4f55861638cec99d417448bc320d9","datavalue":{"value":{"amount":"+0.719715416431427","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":"Q4292828$170FF6FC-6EC1-479A-BC3F-F3611022125C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4292828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4292828"}}}}}