{"entities":{"Q3809309":{"pageid":5839215,"ns":120,"title":"Item:Q3809309","lastrevid":53530436,"modified":"2026-01-25T04:36:07Z","type":"item","id":"Q3809309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4078854"}},"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":"Q3809309$0DB242AF-6F46-44C2-8B11-851F37661264","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9310b50e27c1837a7f6c16e24f97ff6d29e74253","datavalue":{"value":"0659.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809309$57519C7E-8A8E-46CB-9ABF-9AEEACB32FF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f02e999474398146d4b110bc123bf46d711bd7","datavalue":{"value":{"entity-type":"item","numeric-id":633094,"id":"Q633094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809309$16CB4BA4-190E-4B0D-8FAB-905E3CC56AB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3809309$A6179405-2824-4E42-9526-443BA4027036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809309$376DF489-605B-434E-BFFE-0597F5E1E27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809309$B5D15808-9038-4EE3-A972-C292B54C555E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b8208449b867b7ef778d69401225eb852015aa7","datavalue":{"value":"4078854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809309$8FC2CA3B-0894-4390-B9C4-56EF7C05A284","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29a0a1a089c1739ef594b8aa170de0991ebf7f7","datavalue":{"value":"proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809309$4B7349FF-C1E8-470E-8922-9AE163338B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809309$87CC8FB1-94CF-4483-ACC4-194AC5B9078C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809309$A7F56F92-805C-452A-9568-30C05A4EBA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f50416d5f0828ddcb791c33c0eb5164e3d8ea9a3","datavalue":{"value":"Gentzen's natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809309$F5C8ED96-64C9-4F4A-95C8-5076A3F09EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809309$D491985C-712E-4FF6-A05F-A7A978AEB551","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809309$E1781941-9657-4342-8362-FB71CE034C85","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":"Q3809309$0C60E7EF-E8D7-410A-A6B9-ED17CE998FA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef6f8cd8718f1d64bdad3d35d2a8750a28f6eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3759967,"id":"Q3759967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad8ff3913994403f6d2fbc02546c8aa39c98822","datavalue":{"value":{"amount":"+0.8028654456138611","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":"Q3809309$B12962AB-E952-4E14-B2BC-7A7E6B1E97A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53d408684bc2b1b88fdd4e98d3b61a6b8ac3ab8","datavalue":{"value":{"entity-type":"item","numeric-id":3352542,"id":"Q3352542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d9cdf64a2916be19618929c7d6534953374ecd","datavalue":{"value":{"amount":"+0.7695468664169312","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":"Q3809309$36DF3445-C854-477C-ADE8-19949CA3491A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e219b98f078c7b1c784369ec991d66227b6d06","datavalue":{"value":{"entity-type":"item","numeric-id":4993363,"id":"Q4993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324bf3c8f4df6773d10c234b4999c6681f86e038","datavalue":{"value":{"amount":"+0.7648782730102539","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":"Q3809309$31B71550-73C3-48F1-9EF1-9753B68698D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e22558ee37652578e4b1b5e94ac80afa57ed69","datavalue":{"value":{"amount":"+0.7622530460357666","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":"Q3809309$9FF6C91C-7693-4813-BCC5-BA77DAFC3699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21035bcb7504aecf5f37020f49f00765792a69b3","datavalue":{"value":{"entity-type":"item","numeric-id":3680267,"id":"Q3680267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09b5c09935d320fa863097d59a2e352b42b1bf4","datavalue":{"value":{"amount":"+0.7461156845092773","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":"Q3809309$DCCEA99C-795E-4FFA-87A4-14EABE9052F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3809309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3809309"}}}}}