{"entities":{"Q3703872":{"pageid":5733778,"ns":120,"title":"Item:Q3703872","lastrevid":50422169,"modified":"2026-01-14T00:40:33Z","type":"item","id":"Q3703872","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928966"}},"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":"Q3703872$3B37E7A6-0597-4E05-AF04-7F63CF22534B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3eecbf3416f80c5370c1462cebf31e03038bbe1","datavalue":{"value":"0581.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703872$DBA26CA1-520C-41DA-AE18-E1051F4581D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"279897d121499cfff5bb3fc309895435003c603b","datavalue":{"value":{"entity-type":"item","numeric-id":582261,"id":"Q582261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703872$B2771DB1-A4D8-49F5-9F94-E82285053FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3703872$F092B04B-59A4-457C-B793-AF9B89AB715F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703872$C37212D4-6D55-4A57-BE32-FC4B0D61428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703872$BD879C27-9DF0-454E-B195-EB6C86789EE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9c42429f1196dbafec596e91bd1747237c59c79","datavalue":{"value":"3928966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703872$29CCADDE-B224-44F9-8FB8-EE92366AD70B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703872$607C767B-3395-45C1-9257-BED001F3C9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec1d119db885e204687719b9a69832bd7662976","datavalue":{"value":"efficient deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703872$1D0F8F02-445E-4DB8-BC0D-8E2A967156B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3803b50f961cdfb1aa1608cd37fcc532bb34700a","datavalue":{"value":"Brouwer-G\u00f6del implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703872$974692B0-C9BA-4DC3-A442-C05AEF987218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035ab4f7bd2cc0ce30ba1ef510b929a747bde4a7","datavalue":{"value":"expert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703872$A41BB1B1-05B4-49D4-AAC6-A8178BD3F7EC","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":"Q3703872$E14A594B-2496-4539-8F31-AE81D29888B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43a28b9ec62717750ad2c7d548a7e78ea9b7ab9","datavalue":{"value":{"entity-type":"item","numeric-id":582262,"id":"Q582262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a6df1234a2319cfa2de0cd74ef4cd6403cc194","datavalue":{"value":{"amount":"+0.8513414263725281","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":"Q3703872$A1E4D5E6-0132-4498-A68B-F1292D87BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ddf48c1d2ddd6926db57d397a81f9102d6852b","datavalue":{"value":{"entity-type":"item","numeric-id":3824394,"id":"Q3824394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711baa60ace45a49598768dbe3a647feda044c91","datavalue":{"value":{"amount":"+0.846824586391449","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":"Q3703872$1C231363-D2A8-4BC8-88AF-AF95EC271A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00634a7e40de4c4e7e7e01ca0427df09a5362ec1","datavalue":{"value":{"entity-type":"item","numeric-id":698831,"id":"Q698831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea1d95c138b7b92fa1036cc09c90f29e0e95b84","datavalue":{"value":{"amount":"+0.81926429271698","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":"Q3703872$7B15BAF3-A7D8-49D2-95B0-E06BF86B1B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a4fd0ecf9994c31026192f35edba6051ae5ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2774238,"id":"Q2774238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea1d95c138b7b92fa1036cc09c90f29e0e95b84","datavalue":{"value":{"amount":"+0.81926429271698","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":"Q3703872$7A8C0A87-95AB-48CE-8646-D33FE5C87B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1bbc3deeca1e5d0969f2434aba2e5252042717","datavalue":{"value":{"entity-type":"item","numeric-id":3726087,"id":"Q3726087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bd08ac3cc2a2e797d6681b132080aa9104f327","datavalue":{"value":{"amount":"+0.8134908080101013","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":"Q3703872$22FC0EA7-0616-4C69-92CE-78D7C2DD6AE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3703872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3703872"}}}}}