{"entities":{"Q3743300":{"pageid":5773206,"ns":120,"title":"Item:Q3743300","lastrevid":50963177,"modified":"2026-01-15T23:09:36Z","type":"item","id":"Q3743300","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976991"}},"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":"Q3743300$EB061702-38E6-4780-8DFD-7F91CF13123E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b693be237af4358d3a53506b09eec9aafa2414","datavalue":{"value":"0605.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$5424E841-72C4-43CC-9CFF-8F00FCE8DE8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743300$630D48B7-BBA1-4B1D-81A7-4A9F5B9375CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3743300$631506BE-52CA-4CB4-AA72-BC935D5A3106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$9453AAE9-9AA6-4FA0-9C73-BE369B5029A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$791F9C70-C2BE-444E-907A-2DE60D829F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$FD5DE3DA-E27F-44D0-917C-6741FB11AFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$6AE37E17-0720-4587-B92D-129AC65936E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$6549CA37-DCB8-475F-8E55-733B3383C364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"238cd0cfa3517a17f6b648f01e3ac15379b0af78","datavalue":{"value":"3976991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743300$065C6E8D-01FC-4B06-B77A-2FA722916DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$590B8A64-509E-41F1-9D5B-3A0509EA7E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$3493978C-B166-4F1F-9E69-4AC3450AE163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$C47D75A7-7B26-4A8E-8661-DE57D67ADA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$F599D600-D3D9-455B-8642-DCB2C6A076BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a74b54f9f58254ffa20810e1d63471b0c514531","datavalue":{"value":"algorithmic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$C4299AD8-AF6C-42E5-9541-FEE3D9A5E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$335FA19C-7BC5-48A9-8B1A-CE196A414399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$35749DE4-3E23-4F3C-AC0F-74BC7A4B64E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743300$1700B1EA-3A2A-422D-92F8-F8BF8F76B193","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":"Q3743300$B9318A93-3D66-4642-BF16-F58254BEAA7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888a8495726a035f32c7672cf9349dc66bbef035","datavalue":{"value":{"amount":"+0.8521879315376282","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":"Q3743300$183A3A97-46DC-4130-99FD-EA8E23332EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af85341fb3a22ba18faf1cdc9f498320571e9132","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8cd73edb00dbc28a8731e157a4e603613f633e","datavalue":{"value":{"amount":"+0.8485246300697327","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":"Q3743300$383F62B9-89F4-4C5D-AB55-0D2ECFBC7559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2723f00543f13c31b04b11133c2a53113c4bb5","datavalue":{"value":{"entity-type":"item","numeric-id":4318615,"id":"Q4318615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce513c44caa81cc4ba016228aef8944a49de1741","datavalue":{"value":{"amount":"+0.8471851944923401","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":"Q3743300$185C131C-2393-4796-8F7B-C9B9829743BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0967389e55f4f1e6f331a6e767722c9fb79bf9","datavalue":{"value":{"amount":"+0.8386293649673462","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":"Q3743300$4AE72A00-F560-4A8D-839C-00A59756F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e182ddfbba6b0b2b7099e280c5a611d995e32f26","datavalue":{"value":{"amount":"+0.837750256061554","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":"Q3743300$E630A417-A363-40F3-A773-B274C42530CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3743300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3743300"}}}}}