{"entities":{"Q1363870":{"pageid":1374609,"ns":120,"title":"Item:Q1363870","lastrevid":46503816,"modified":"2025-12-24T22:29:40Z","type":"item","id":"Q1363870","labels":{"en":{"language":"en","value":"Calculus of standard quantor formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1050591"}},"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":"Q1363870$D6D24C89-38C0-4EE1-A87C-3FFDFF24B88F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9038cd75aeb913b6aca2ddce7264f93f3afab08","datavalue":{"value":{"text":"Calculus of standard quantor formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363870$CBA10DCD-B052-4560-BB34-0B07C5559B74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c81be3649907da33e415417472934ce4c267a1e","datavalue":{"value":"0874.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363870$B9BE7A7C-0DAC-44D1-8C29-8622E8DE75B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c48c977a4a9d230699702def5d80fd8665de7c","datavalue":{"value":{"entity-type":"item","numeric-id":265934,"id":"Q265934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363870$D59FB20A-13E6-48CA-8CA2-B45CD81414CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431a6d69b3dabb57437aa327304c848378ad4788","datavalue":{"value":{"entity-type":"item","numeric-id":1363869,"id":"Q1363869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363870$08AC6B1D-ED66-4745-B9D0-92FBE967C572","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363870$EBA6E321-240C-4019-86B8-354C80C84432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363870$EB2CD611-F33F-4BA5-A4BD-078418FE3021","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a41c8bd74653c599a7d590a326312bc48f41b979","datavalue":{"value":"In contrast to widely known sequential and resolution approaches to the automatic deduction of theorems, we propose a language and calculi that are based on a representation of predicate calculus with the help of standard quantifiers [\\textit{N. Bourbaki}, Th\u00e9orie des ensembles (1958; Zbl 0092.27901)] that are used in deduction of theorems of the method of comparison in mathematical systems theory [\\textit{V. M. Matrosov}, \\textit{L. Yu. Anapol'skij} and \\textit{S. N. Vasil'ev}: Comparison method in mathematical systems theory (Russian) (1980; Zbl 0468.93002)]. In addition to a descriptive version of the calculus, we propose a constructive version in the spirit of \\textit{A. N. Kolmogorov's} calculus of problems [Math. Z. 35, 58-65 (1932; Zbl 0004.00201)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363870$95EBE549-EF7C-4E17-8C16-0BAEBCCFA080","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363870$57A51139-165F-45F4-B415-C41A12F1CB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363870$AFA0A8E7-C5AF-40C6-BAFD-0CDD4BDE8CFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8141b9aeaa83eae4052c5e74b6da155754750c1f","datavalue":{"value":"1050591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363870$DB921690-62A5-4114-95E1-71D01AB0C577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a772a185dda20e89145460d9567ee92c13d88a","datavalue":{"value":"automatic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363870$16815FD8-E8F5-47E2-823B-0C592542B6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d17a0d8d748beb6997f1792cab42ff76e79686","datavalue":{"value":"standard quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363870$B0630F2B-32B1-4898-B237-AF19095E596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afc3639a6c6b979d2e3340caed23f541b9979176","datavalue":{"value":"method of comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363870$3E9C59DA-C9EF-4A96-8940-76792212C97B","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":"Q1363870$151B6882-20E4-41A5-B7B0-F29864A89531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbef2ac8206322bfe9d5ecdede275a1d6024ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":1899898,"id":"Q1899898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ff655445dc69accfbcd7b6b20fee1745d758ca","datavalue":{"value":{"amount":"+0.7287554144859314","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":"Q1363870$536CA539-8E92-4A9B-9D08-D59137D12960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91907e7c2bd5c212872931a4f1c04bdc218b54e","datavalue":{"value":{"entity-type":"item","numeric-id":3803092,"id":"Q3803092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a481f17fe5d753c527bb61e4272c43dc947d2eb4","datavalue":{"value":{"amount":"+0.7224136590957642","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":"Q1363870$7C6E65B2-34E8-4BEE-B7F1-D243A02138A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d04dfad32edb259fb54af02d8c8985b1b4a0a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3138862,"id":"Q3138862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5858e76484c8fe697e863b81ea80fe8585f39b7","datavalue":{"value":{"amount":"+0.7197788953781128","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":"Q1363870$38894421-262E-4D54-88AA-F8E2BA034066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1736070d15d3523b41f24aa406009666d257b132","datavalue":{"value":{"entity-type":"item","numeric-id":4362905,"id":"Q4362905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6d3c9c88eb96edbe09042f74fbcce5bc571405","datavalue":{"value":{"amount":"+0.708267331123352","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":"Q1363870$56B01DFB-D67C-45C2-BEA7-DAC2F6FE8360","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1363870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1363870"}}}}}