{"entities":{"Q3751043":{"pageid":5780949,"ns":120,"title":"Item:Q3751043","lastrevid":51026711,"modified":"2026-01-16T06:42:23Z","type":"item","id":"Q3751043","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3988746"}},"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":"Q3751043$C5D3637B-CE1A-4157-9869-91E248302244","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1510fca382f9f265b5bf53fb63430b1e5db1a383","datavalue":{"value":"0611.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751043$F701EA69-4E68-4AFC-BBA3-200416BA919D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3751043$F29ABD0B-6E8C-4A28-8C85-DD09772ABE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3751043$7E5ECA33-60EA-4A0F-BADB-EBD117F11AC3","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":"Q3751043$A6B53496-DF7C-4442-B58A-1266C8F1DADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751043$27C55EB6-1438-4843-94A6-C6E4EB24FE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751043$6A033B86-3216-472A-951E-059CFFA05A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751043$BB227FED-7609-48A3-A124-5BB4C7363C51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f2bc33d450fb883c431e42397cd800d50a74d0b","datavalue":{"value":"3988746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3751043$2BDE649A-0932-4530-B779-3D96AAD25316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fdf94b8b326eadaf93a4e23046cf70cbbc6c9f6","datavalue":{"value":"rule of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751043$D8987B4E-4E32-4939-BD17-92AF73F1A5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d316846177b52cbfc50495fb5e5584c467e568","datavalue":{"value":"deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751043$3FB9C2B1-C62F-4BF3-959A-64FC69B98635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03915e0ecbf14a2cd57671cd336fd7a8ce2a4113","datavalue":{"value":"quantifier-free predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751043$37906770-1234-4893-8BFA-289048ACBDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3751043$45C9285E-AD5D-4C83-A871-5378652B4868","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":"Q3751043$835C3A97-8763-4E69-86D1-A55A118B2827","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780dea122752731e7c95faa4a59c5e2294de31d3","datavalue":{"value":{"entity-type":"item","numeric-id":3773844,"id":"Q3773844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174c62dbd45cca15deb66875448c153cacf52dcf","datavalue":{"value":{"amount":"+0.828767716884613","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":"Q3751043$D1995FE3-E872-4792-8251-C3B3D82C6D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24d570d487b8605da052e72dbbeee6a95536f36","datavalue":{"value":{"entity-type":"item","numeric-id":3140015,"id":"Q3140015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67ba33bbd73e79b8f76c354940f8501601f24ce","datavalue":{"value":{"amount":"+0.8067230582237244","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":"Q3751043$61551DAF-87E9-4875-B171-1E4A017AD5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e3dee283cb7c8f1714e45e58c9aefc2950b646","datavalue":{"value":{"entity-type":"item","numeric-id":4415137,"id":"Q4415137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb27611bace2ae0fa0b0b66735e25436f6773f2","datavalue":{"value":{"amount":"+0.8067222237586975","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":"Q3751043$26BC3149-C44C-4ACA-9039-67F80ADB83B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c800c934ce4f567ffd7578a4ff43e22ac0271eee","datavalue":{"value":{"entity-type":"item","numeric-id":3750139,"id":"Q3750139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b6b4cf4435ebae3a9302a887a95b61d4b83e4b","datavalue":{"value":{"amount":"+0.805915355682373","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":"Q3751043$02C578D4-7233-46B2-A1A6-058223DCA268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4326bc3d6d19c9924319437b305c6df3afe5249d","datavalue":{"value":{"entity-type":"item","numeric-id":3972130,"id":"Q3972130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe19693186d153983f1ff65437c212a0a54b7f9d","datavalue":{"value":{"amount":"+0.804214596748352","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":"Q3751043$FC15CB0E-4AF9-4ED6-A1B5-C59BFDF5BFE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3751043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3751043"}}}}}