{"entities":{"Q3336739":{"pageid":3347447,"ns":120,"title":"Item:Q3336739","lastrevid":45995479,"modified":"2025-12-21T11:27:07Z","type":"item","id":"Q3336739","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870643"}},"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":"Q3336739$BD13CCEA-99A7-42CD-9741-B8C7046ECBF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbcb417da0c354a0e1133b3d157185cee0790877","datavalue":{"value":"0546.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336739$06B762C5-1CDB-466E-A6B6-0BA264430CC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336739$E6378056-0F22-48A5-AA93-03A2DA904498","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":"Q3336739$94C88170-B53D-4420-B2D2-217FC304CDF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336739$D69E1BC6-F395-4DD6-9FF6-726484117071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c9a9d7081c6d9ee1fe6684eee83f6105263e5c4","datavalue":{"value":"3870643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336739$623F2E39-4DAF-42E0-9EC6-556ABDA30957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9337a1bd61c53dab3cc8d3661600f836e757199b","datavalue":{"value":"tactical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336739$9C401124-DEF4-47E1-9962-0C81270CD01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e9c66fe62972987935dee8a10c4870907e2f58","datavalue":{"value":"control algorithms of natural deduction theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336739$102B1EFE-5242-42C6-B04F-89202F6C4268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5ef65a64ed2128194a82dc20f744211e7d7bfd","datavalue":{"value":"LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336739$B053D3D5-CE92-4661-9D7B-AF6CEFFD5DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c36c95d69a951d7f3587b7edc3cd164f3d5d660","datavalue":{"value":"Logic for Computable Functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336739$1ABBE6CA-1896-4670-A815-1ABF546592FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d1e65baf2cd11b6edd2159cbe38035c4b5f3c1","datavalue":{"value":"proof discovery algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336739$44C4549D-B107-4E40-82CD-31C2EE121EB2","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":"Q3336739$15E80D85-0369-4283-B93F-C04D0E341CB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cacab0c99e252fb36634946982fcbf0f931b80","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef44a56405935f8abed686f3a617053ab2cbed2","datavalue":{"value":{"amount":"+0.8644879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$555071E6-EF96-494D-B2A7-7076B1C579A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b374d103ae25750298391ed37f0bec8a184b0c0c","datavalue":{"value":{"entity-type":"item","numeric-id":2847396,"id":"Q2847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a3233c64f9ac159d241b0de53b374222627c7d","datavalue":{"value":{"amount":"+0.8531695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$CFEC6F42-11D5-4DD9-862F-8DFD30640A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31526417b41b3553c8100763fbdaeca3eaa2827","datavalue":{"value":{"entity-type":"item","numeric-id":1380427,"id":"Q1380427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ab2cba06856abb53a17aeadcacda4373a430d4","datavalue":{"value":{"amount":"+0.83924794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$86C61F88-F37A-4F84-9F2F-E1C41CEA884C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7a7c4f5dac6dd56f6689fbd94d027549e0a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d760ab06a2b43c59841f0d55ee27a9963db8c80","datavalue":{"value":{"amount":"+0.8362335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$1CCC755D-5E86-4265-8790-40890381AC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9877f0dcd65138cde5cfee90673e908a79f3337d","datavalue":{"value":{"entity-type":"item","numeric-id":5464643,"id":"Q5464643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f75337e39d4766daa1a4ce11b6efea15363973f","datavalue":{"value":{"amount":"+0.83026373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$48CA9B29-93F3-4EE1-A15B-85E64C2224A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee04535054cbfd103bbccadd41b130b8953c7b71","datavalue":{"value":{"entity-type":"item","numeric-id":3086785,"id":"Q3086785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b637242138664d420815624ed8d43681708681c","datavalue":{"value":{"amount":"+0.8290629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$CFD54D71-BFE6-462F-AE3B-2E72E91CAD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d326ab7a223a6719c7150fce542fdd7a9ba2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4576230,"id":"Q4576230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53087ee6c4a54ae30b419ff6cf19a755f652c59b","datavalue":{"value":{"amount":"+0.8255792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$61B12A1F-C550-4A32-AE4E-B977036F1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91ef81aab0f8833cca17e900bcda5f8a895f327","datavalue":{"value":{"entity-type":"item","numeric-id":2841238,"id":"Q2841238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac806d40fe9869ca311943175857c3faca83a19","datavalue":{"value":{"amount":"+0.8180719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$B05B83E7-C518-45A3-ABC7-A06FB5FB0EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb96d09cfe6e95409cf59d2778d0c56f05ba4e0e","datavalue":{"value":{"entity-type":"item","numeric-id":5505516,"id":"Q5505516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74868a9303e9ac8b30050a42b1c67268dfc24be5","datavalue":{"value":{"amount":"+0.8166717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3336739$35DF06BA-AA62-4525-8954-E8967176DCF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3336739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3336739"}}}}}