{"entities":{"Q4385442":{"pageid":6415041,"ns":120,"title":"Item:Q4385442","lastrevid":46525245,"modified":"2025-12-24T23:30:26Z","type":"item","id":"Q4385442","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140677"}},"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":"Q4385442$DE408F74-CF0A-4C2B-82FD-6EA90C679C74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed29bffbf6cd8c0badd577c771878d6796ac2289","datavalue":{"value":"0899.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385442$5A723A09-865C-4054-AF79-529EA1F98976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e323415c9b9bf123afa53c27de1b0795aa8ea753","datavalue":{"value":{"time":"+1998-11-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":"Q4385442$175BF54B-891A-4F49-A3EB-F4C160F68C95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385442$6B123D38-2478-4C2D-ABDA-75707B752E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385442$F37E255F-DDEB-4D81-AF5C-5B8B2E05B019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385442$4410819E-4CA8-4999-BE3E-85E1481F1F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385442$420E33A1-EC6B-4459-81C4-12320C509013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1377dd253cffdb946850c4814bfc63f76ff874e9","datavalue":{"value":"1140677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385442$4909FFA0-A83D-4A49-8099-CADABC96B9FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$CB36B24B-0030-4960-A7BA-B18FB14F8976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab925c0d5f6dc360e2cf602223e75322b1818e8","datavalue":{"value":"reasoning structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$9692ED3E-59CC-45F3-8236-EB00677A7D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe3c7285c82b7e85a0384689c42c38ba7418e4","datavalue":{"value":"automated theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$E0C928D8-ABD6-4197-B09E-DDE1139841F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f55c53e1aad09e91c51a666266fe794134f546b","datavalue":{"value":"composite reasoning theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$7336C485-669A-4AF3-8A96-CAB702ABB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$256361F0-753C-4FB2-BDDD-BF496C5D2346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea5d99cade7ee510a084181a4a43ab3a82af871","datavalue":{"value":"general architecture for a class of reasoning modules and systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$FBA0392D-E5E3-4045-B3EF-E0792F8AA1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18fd369a568f5fa85ad5586f1be1fa1898ca4807","datavalue":{"value":"Boyer-Moore system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385442$D33A26D5-D54A-48BC-B78A-D0D803DC868C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385442$FE3E35DB-2701-49D6-834D-F622DD13C70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1743d9e0eb85fddb7851b62bbc9f2fb095f7da9","datavalue":{"value":{"entity-type":"item","numeric-id":1915138,"id":"Q1915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385442$BC349D1B-02F4-4576-BEF3-4EBC3C949336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385442$9F7DDA06-BA45-4A30-AAAE-1581B28A2422","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385442$F5E03551-3735-4D1C-B8B8-7C17AE9B8F75","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":"Q4385442$8ED84694-58DD-4B9B-9A7A-1A8E8C35181A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb894f61d73903b4850e0f8affce8c9866828664","datavalue":{"value":{"entity-type":"item","numeric-id":5931115,"id":"Q5931115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2af5ced60df41537738a6c6846df4f7be1a28e","datavalue":{"value":{"amount":"+0.7865012884140015","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":"Q4385442$35213423-091C-4CC5-B544-A0C4F3B01876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2025e75890f6ee78b00f2a3a0ed12d2325d17bf7","datavalue":{"value":{"entity-type":"item","numeric-id":4518871,"id":"Q4518871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480fb037bdf0c7a0eb52d2c733f6068b9e8c6673","datavalue":{"value":{"amount":"+0.7494950890541077","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":"Q4385442$E3C4A4FB-EA7E-47D8-A230-2F8E8A354157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1944728d79934f2a00f3f90eba301d36c851a4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4835369,"id":"Q4835369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5feb6f87378c6c63f71ee2d00528c7359a6a1fdf","datavalue":{"value":{"amount":"+0.7294209599494934","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":"Q4385442$B43A9D1E-D561-4FA4-B8ED-AA7A77D37500","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385442","badges":[]}}}}}