{"entities":{"Q4188579":{"pageid":6218180,"ns":120,"title":"Item:Q4188579","lastrevid":34624159,"modified":"2024-06-12T23:53:41Z","type":"item","id":"Q4188579","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3626422"}},"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":"Q4188579$62470E0B-B56D-40F5-9629-2C873CE3CD07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"450c45afec209455d20c845f5d63d0091ee2038c","datavalue":{"value":"0403.62014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4188579$923D21E5-7157-4772-A1FC-1FDA408F1015","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b13b0ff580f5813051920faa5cde908b6ebc28a","datavalue":{"value":{"entity-type":"item","numeric-id":1296898,"id":"Q1296898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4188579$941527E9-C091-4739-9F07-FF27493BA119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c11cbc42339a8500ccf122ef9ed0d21e33c94aac","datavalue":{"value":{"entity-type":"item","numeric-id":1814464,"id":"Q1814464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4188579$670453DD-AFA2-4123-8F6E-5A1DD1897E57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4188579$19FF3798-69A5-4E7A-A641-2888CFEE7766","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12bf8ee247c4151790503073a01164723815a337","datavalue":{"value":"https://eudml.org/doc/27425","type":"string"},"datatype":"url"},"type":"statement","id":"Q4188579$AD2DE1B2-74B5-4C20-A8C0-A92AAFEAC86A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6647b8b72ac5e490f6bd3dabe372492dcde17f3d","datavalue":{"value":"62C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4188579$903430AF-654B-47D2-AD54-03E4E9AB40BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4188579$ECAA6F1C-DE0D-4C26-A2F0-667F1B821B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4188579$9209E4E0-CA83-4D49-BF0F-8FE7208140C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fb2c40a264b35eb29a803e670aafd280f362469","datavalue":{"value":"3626422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4188579$461FED24-0053-4289-BAD0-48D0C82C26C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a428c883fa8d91217aa363c197eb7c2cb67b7652","datavalue":{"value":"Deducibility Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$E10A1324-33A2-40F6-9C92-F7E20FF12C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbabb0ff551409c1933c36005c5f078558d5068f","datavalue":{"value":"Formalized Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$999A5A8B-A443-4DBC-B9E1-E5D6E6C42006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7250520e509f3175fb4557913a0ec02952f1d6d4","datavalue":{"value":"Decision Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$B7224E12-9394-4369-A334-ECA05A3E905C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deff0147595df47a77182a36f97889afa5f86891","datavalue":{"value":"Parametric Test","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$983C09CA-44B6-4FE9-BAB9-DF4900BB62E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aacb20122bb248024d174c61af4e306f332879c","datavalue":{"value":"Simple Hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$7FCC2380-B0AD-4A7E-8FF5-D9A03BA63690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$6927ED07-5FFF-4525-A8D7-29B29A74F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbb18ce25a76f5b30ce74a2e665a733fe2172684","datavalue":{"value":"Automated Theorem-Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4188579$9EB0759D-1B81-4CB4-A474-D6CE6439AD3D","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":"Q4188579$18E284BA-9E90-49BF-B83D-DEBB4ACB7388","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cff98a95cb89405f1c2307803e47a399f29c65","datavalue":{"value":{"entity-type":"item","numeric-id":5619832,"id":"Q5619832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4188579$7F8932B4-2A3E-4B39-BD00-59997E07C91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ed47de6cc33f87f9281b09c74e164d67ef54d2","datavalue":{"value":{"entity-type":"item","numeric-id":5183471,"id":"Q5183471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4188579$13B9C237-1510-4722-867B-CE9F439D07CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e94bb85f1d77000037d2e843d86b4c7ab8076c","datavalue":{"value":{"entity-type":"item","numeric-id":5800557,"id":"Q5800557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4188579$8033D41D-3375-41AB-B346-04C0CCEF5E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb95e9c8e0397dc3a0c25d523be278c079261978","datavalue":{"value":{"entity-type":"item","numeric-id":5801671,"id":"Q5801671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4188579$21927A00-3116-4BFC-A3EE-51ACE9AD5F39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4188579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4188579"}}}}}