{"entities":{"Q3714047":{"pageid":5743953,"ns":120,"title":"Item:Q3714047","lastrevid":50581226,"modified":"2026-01-14T11:27:31Z","type":"item","id":"Q3714047","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941499"}},"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":"Q3714047$DDD03E55-F8C1-491A-A6C8-92C1F2151329","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f54109ff361ff0673b38549b60c2cd4c0c68249","datavalue":{"value":"0587.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714047$3474B022-045E-4424-A62C-2C474246D963","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714047$0D2E9509-2312-48C9-9752-E1ADA034EB2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3714047$842A61B5-C08E-4C9C-8793-CFFCC4E5F510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714047$10F493CB-9D50-44D0-A6BA-7782C4A6B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714047$B6980F29-1F88-4A9A-B8A3-B4425E7FFB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714047$8F819158-70B1-4AF8-A611-4879230712B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"667ef05fee1d0a3140c6a8960cd53660e410b20b","datavalue":{"value":"3941499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714047$29ED06D5-3077-481A-AEC1-0986005DEA91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418a8d2062ef6111075c2dc9474bf3c1643c3e32","datavalue":{"value":"Gentzen-type axiomatization of Post logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714047$11B1D37F-F689-4D32-9CF8-46438FE92521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9e1b756ff43dfcb0d080fc6ba862f983233128","datavalue":{"value":"m-valued Post logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714047$323F5789-7D8A-4CD8-B6E8-D56FAC785029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714047$8FCAAD97-7230-4AF6-8508-25531240072E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7485ff741deb797d5955d7284574bca1afa95be","datavalue":{"value":"decomposition rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714047$7A161C51-07B5-4460-8F3C-DD95DB59C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714047$D1FD09B8-CAC0-480C-BC2D-3969DAEC042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714047$5CD10763-2D03-4430-AD4D-51947EEF6661","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":"Q3714047$D3239D4E-3110-4B1A-90AE-B9D30F3E7DA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe211b4b19d241b314430d2877ce889aac84bd91","datavalue":{"value":{"entity-type":"item","numeric-id":4475072,"id":"Q4475072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef6dc4bdc4d02d611c59cc0de6948f912f35f31","datavalue":{"value":{"amount":"+0.82463205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$AA94FE18-D327-4A0B-922F-DADC60A07288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99c51f2991f5a782093b7af88cae5b396304cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3718680,"id":"Q3718680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a51aba63a628b047861a86b99b1e995f5c699be","datavalue":{"value":{"amount":"+0.77631265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$EF1386B9-B4C4-4BD3-81ED-9A1691E1444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54e2880b1d9f1bb1a6f99406e59c4bdc2b79dc","datavalue":{"value":{"entity-type":"item","numeric-id":3211281,"id":"Q3211281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5453b46af790bad2ffc1218d2cec5f0cd0bf4d","datavalue":{"value":{"amount":"+0.7652889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$C6D2B267-D57E-49CD-929F-F443330464EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67074da84ee1f9decf0f40735dfb49d9ec1b3762","datavalue":{"value":{"entity-type":"item","numeric-id":1185455,"id":"Q1185455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5389ad38ad06dca824e555df4aa71b6ec36a4cb","datavalue":{"value":{"amount":"+0.76424134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$754C38EE-FD7E-4098-9290-077367EDBC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e444abad5d9eaa97702b781b2dc1dfb6adb185a7","datavalue":{"value":{"amount":"+0.7500863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$0487DEEC-135C-4D49-A5BC-F18F843523C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878c40185ef8793f4b2c6b23e206ffdc354f49d1","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bdacfaa6709db509308ab43f88c0eb4b033e81","datavalue":{"value":{"amount":"+0.7437618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$71AF6BBC-1A39-451F-AC7A-4B276B281626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cf0188d8db762e1acd725fd47476e94b20d818b","datavalue":{"value":{"entity-type":"item","numeric-id":4246967,"id":"Q4246967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3b8541d213f2db5996c90bb47c13d63b8a3b2c","datavalue":{"value":{"amount":"+0.74130005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$C9B5A163-0130-44E2-BCFE-F41347FD4027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e349ead2c8723fc6d85a2ed0948a2af5ddefb804","datavalue":{"value":{"entity-type":"item","numeric-id":3768868,"id":"Q3768868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaaffad3f18ecb9bf3ad96c4b6c4c4fdba103cca","datavalue":{"value":{"amount":"+0.74102956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$83721905-1941-4267-B2B7-F15DFEB88E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c01aedbed0e9437e03654a91c9b1ec2a6910170","datavalue":{"value":{"amount":"+0.74022764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$78B63A58-5449-4D3E-BF7F-293EBAA380AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b0b8df70261eefcfd6c6af38e07856d6659ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4273485,"id":"Q4273485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a85bba98e6ce00f9ef145b544c66e07c0d14d99","datavalue":{"value":{"amount":"+0.73742616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714047$975612D2-6A8A-44EF-A12F-34E8CA7638FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3714047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3714047"}}}}}