{"entities":{"Q3708773":{"pageid":5738679,"ns":120,"title":"Item:Q3708773","lastrevid":50512322,"modified":"2026-01-14T06:18:01Z","type":"item","id":"Q3708773","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3935002"}},"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":"Q3708773$7AD32AEA-213A-4B90-BBDB-0250D1573743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"640364db7df6e1615ee369e91e764e96e0e7bebb","datavalue":{"value":"0584.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708773$237D0A9D-4DF4-4292-B770-ECA673C2EA5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d066e720c85867d809cb2e859c21af5f7e9025","datavalue":{"value":{"entity-type":"item","numeric-id":787970,"id":"Q787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708773$C30D50F1-697F-4D9D-A05A-7E16EA8E1837","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":"Q3708773$2B60B504-63DB-4C31-9DAE-90E84B428471","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708773$BA1D2071-7FED-4786-A1FB-EEDEAB690556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708773$069B7684-0735-424E-90A0-6B1E928568CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708773$DF338663-E9A8-4F38-AACF-9122A2F1296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708773$97CF8333-7CB1-415F-8D86-6AB7A5B5EB53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769b4d4e12d61a7a050d926f365ca1e3225c081f","datavalue":{"value":"3935002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708773$2D3890D8-74CD-4582-B9F1-CA414276F330","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dbed3ea765273226544c416ecff654ad8027aa","datavalue":{"value":"non-resolutional theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708773$6C07A8F0-E7B2-4ABB-BCE6-C1494923B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267fd1016940ce140ce0e87d51f56f8989f548e3","datavalue":{"value":"backward proof tree generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708773$2D3D4AB3-1163-4245-8A63-A9878ED29589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b8dc28d1af4f78c8d20a2f2832cf17533e6465","datavalue":{"value":"logics with modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708773$CA3476F4-9E8F-4889-A044-734206441C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708773$2A2CE6D2-BABE-41D2-B19E-6CAACC134551","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":"Q3708773$CE1920A5-61F3-4AB8-BA7A-70791EAC9DDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe49094536a6000a6ff11386d0b3a35de5c58c","datavalue":{"value":{"entity-type":"item","numeric-id":1103415,"id":"Q1103415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86109a1016465a2671427378f2e2b77c98d18350","datavalue":{"value":{"amount":"+0.7957726120948792","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":"Q3708773$30F2833C-1336-401F-9020-6282340736BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3e580f4a7e004bc3d5e23e5a2f14cdcc6a7bf3","datavalue":{"value":{"amount":"+0.7839970588684082","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":"Q3708773$D65EAFA8-9F2F-49FA-9C92-324044192DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1b8581def4aa3d738bd5fbefb5a88e7801cd03","datavalue":{"value":{"entity-type":"item","numeric-id":3795648,"id":"Q3795648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc8fad084c98b296e072d85de5606452cba6bef","datavalue":{"value":{"amount":"+0.7837318778038025","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":"Q3708773$BDE21C42-19BE-4EEB-ABE2-7B35C5D0CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4638d572f43093371bc7ff8eb436d2994a0e5106","datavalue":{"value":{"amount":"+0.7784585356712341","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":"Q3708773$B3E9054A-2278-4A68-B14F-5CDF0D86ABB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cdb87fd4be17cc7c24d9ae9921c8a1921f3361","datavalue":{"value":{"amount":"+0.7760509252548218","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":"Q3708773$4F6BE0A4-875D-45CD-9BAC-76EF97F700B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3708773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3708773"}}}}}