{"entities":{"Q3997615":{"pageid":6027447,"ns":120,"title":"Item:Q3997615","lastrevid":55138387,"modified":"2026-02-04T00:56:31Z","type":"item","id":"Q3997615","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 48763"}},"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":"Q3997615$E6047CB2-8F12-42E6-9260-DBC28221CF46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0fd268c82a432c889e8fc99c5f1b4ea7e5677d9","datavalue":{"value":"0749.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997615$E9B4C6DA-42C0-4B67-9F05-FCAE007F4A40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e27abfd115acb68e497ec6f5ee331c823ff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1074341,"id":"Q1074341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3997615$14BB9999-9B44-4E57-881B-7F1E43301900","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3997615$ECCCA46C-0F51-4043-96BE-3D3A8E686523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997615$4B8081B3-4872-454A-B787-91A2B67C0E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997615$7E2D09B3-AD6E-4309-8C67-507C6CD6F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997615$07E6D750-0B4F-48F4-B166-2F997393DB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997615$DB32D8A5-5519-4027-AF71-8AE98F8CB437","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf93dc1e19fe2851c4f54c2a1fb307311d9169e","datavalue":{"value":"48763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997615$24A4267F-B6EA-4A5B-986D-F462B6039EE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7564b9db23603409ab8cb47104f41f41d536e732","datavalue":{"value":"complexity of calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$33E7767A-3C4C-415F-A7C8-80AD673CAE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$76093BA8-A048-4A40-BB08-F512BA7B1002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$AEFE08EF-0651-448B-9BB1-B3E5645E9E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$B79302F5-71A0-40CE-AF8E-9242FD78C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$004683FA-A91E-4D51-A600-90B196AE43E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$82562A52-22BC-4BB1-AF27-DB75063BDD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de58ebc817dc854e832dbae3c962dd1121d3a554","datavalue":{"value":"complexities of resolution refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$CA522ED0-3B72-45BB-A444-E20EF834B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012fb89b55a248bb49b090287280385d617ea78c","datavalue":{"value":"calculus of extended definitional resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$79B8806E-C4AC-4984-AEF0-1AAA355831C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"444d921478b1cdcb414949cf5b3f96b5e9ef62a1","datavalue":{"value":"connection structure calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$BD3FC398-A27D-411A-A6B0-001A58C9E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55c20387afed30615328962a8b07d955cd48068","datavalue":{"value":"unifier set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997615$F04EFF59-572A-486A-8451-37AD59DDBDF6","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":"Q3997615$E9006578-930E-4510-B34A-C3FDEC8CB486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d80adb814d2ae23706c09350c02e75fbeccc5f7","datavalue":{"value":{"entity-type":"item","numeric-id":3357560,"id":"Q3357560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9b0d2cac4852516d359776b6b654202dedc49f","datavalue":{"value":{"amount":"+0.8135830760002136","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":"Q3997615$41436117-9B07-4875-ACF5-336CC939EE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb97d03863866c1500b2888cd226c3da6a6de260","datavalue":{"value":{"entity-type":"item","numeric-id":1322772,"id":"Q1322772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987bdaf59e91891a1fa1e60eee27750d79d3738a","datavalue":{"value":{"amount":"+0.796264111995697","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":"Q3997615$9DADD588-FA39-4530-85C1-632FC05792FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41eae31321cb8f4d5091ef38abb8a9ca30ef670","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c952cd140c17b30694350da16580ed8894670cb0","datavalue":{"value":{"amount":"+0.7883853912353516","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":"Q3997615$589CFEDD-C80E-4576-AE68-CB8CD0A93FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74675b738b6f681c28284811123c31e79c5f1b2d","datavalue":{"value":{"amount":"+0.7871115207672119","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":"Q3997615$037A2763-D5BD-470E-82A0-5A3FD2ABC9DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3997615","badges":[]}}}}}