{"entities":{"Q1119627":{"pageid":1130376,"ns":120,"title":"Item:Q1119627","lastrevid":66168894,"modified":"2026-04-12T08:00:22Z","type":"item","id":"Q1119627","labels":{"en":{"language":"en","value":"Recursive \\(\\omega\\)-rule for proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097350"}},"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":"Q1119627$059B12BD-4A58-499B-BD4C-E061D46B56CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab86fcb7b6b2582d56e5219f24e84d1f11fcaee5","datavalue":{"value":{"text":"Recursive \\(\\omega\\)-rule for proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119627$E753A22A-7C0A-418C-8820-3B62C47A4C83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"085360548391d1128b444676e9f151d27cea6b6d","datavalue":{"value":"0671.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119627$B7279A22-CE80-409D-94B0-A69FFFE7BC11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6917a33d2dc7b39347386ae862d0d4b51b0a2eae","datavalue":{"value":"10.1016/0020-0190(89)90089-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119627$CE22A9A3-EB7D-40D3-B3F7-0F29F6CD21DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a146557611ef4f94fc6e55637e62191fe9768511","datavalue":{"value":{"entity-type":"item","numeric-id":1119626,"id":"Q1119626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119627$99D63F59-D1E0-45F4-8B83-D61D77D245F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119627$A58B280F-5D9A-4A21-AE00-F8351F3BAF85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1119627$738BB706-3917-462D-B79B-5198178FA15A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab8996c069385f0e1377dcb08869ef53782191c9","datavalue":{"value":"By using the result of \\textit{E. G. K. Lopez-Escobar} [Stud. Logic Found. Math. 89, 75--97 (1977; Zbl 0386.03026)] that if there is an effective disjunctor on a formal Carnap theory \\({\\mathcal F}\\), then \\({\\mathcal F}^{\\infty}\\) is a conservative extension of \\({\\mathcal F}^{\\infty}_{rec}\\), this author shows that infinitary rules in most proof systems in computer science can be restricted to recursive ones.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119627$580910AC-25D5-4DC4-9574-3236B5324362","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119627$8B3C7396-1E2C-4690-A971-628BF16C2D19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119627$4C413EFD-D812-46FB-8ED1-6B0A3A4B5712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119627$E53E2070-2C64-4104-BBE8-4536C2EED91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9c35d9298b8f059ce6293b589798be652e2e912","datavalue":{"value":"4097350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119627$11F4AA9C-24C6-47AF-A305-8B5C13170BE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad33a21d218dc9ced4e8a14a51172d84ec348f3","datavalue":{"value":"recursive proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119627$76D52F13-8C3F-45A1-BE00-33B44726599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03554a9291ae508b73444b3cdb14536efc156a38","datavalue":{"value":"effective disjunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119627$4DA463DB-5EE8-4FB6-836D-CEBFC9242F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9862dab663e60d1e78eb2d4d8057eaa40c606301","datavalue":{"value":"Carnap theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119627$0DE559C7-891D-4252-AE4F-A0D8A162955D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a93a3a578090ccddf3d4194d008321e51c7bb64","datavalue":{"value":"infinitary rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119627$0BEA2D69-5635-4A00-87F7-C207C1B76F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d39d402d5c6bcd961b3f87a3072b86f2a8607f","datavalue":{"value":"proof systems in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119627$B9579318-290C-4F36-BC7A-3B0920432EBF","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":"Q1119627$93848FFA-C106-4F96-808C-BFA6536392C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85b0012b13661d25606fe1ae3c29fe0d2e2d6953","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90089-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119627$83153ED1-D04C-451D-9A89-9B7D995DD0D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f59e1312151b99e2c8189a3567e4575d9a013cab","datavalue":{"value":"W1995882709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119627$B939538A-7DC5-4FFC-980C-CFBAEB649436","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fe61eb58654e0dce53bb4a97ea30e04dcc8008","datavalue":{"value":{"entity-type":"item","numeric-id":4166751,"id":"Q4166751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119627$6944B12A-5083-49F7-9317-F09C2CD29DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4655612b304d9bd7e703b05e0795028a785b49","datavalue":{"value":{"entity-type":"item","numeric-id":3792662,"id":"Q3792662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119627$2081A835-FBA8-459D-8398-9E8463F41094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2495d7da67d86fa51c4848f81bce2e0763fbd583","datavalue":{"value":{"entity-type":"item","numeric-id":3975175,"id":"Q3975175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e72ca2a2386e1b7259131588e45bc1e5e37e96c","datavalue":{"value":{"amount":"+0.8135544657707214","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":"Q1119627$3E4ADAFE-9B3C-412E-BBE1-87A08037ED7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb3e52d9eba4ead76fc3d38f26751372998aa37","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e72ca2a2386e1b7259131588e45bc1e5e37e96c","datavalue":{"value":{"amount":"+0.8135544657707214","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":"Q1119627$1C9C47DE-83AC-4ECA-96D9-606239DBA4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25583a8eb591ad097e0ca7876fc41f1f8bcb53c9","datavalue":{"value":{"entity-type":"item","numeric-id":1207341,"id":"Q1207341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e634d9ff0aad62141c5cc23dacc7b1a85309cfaa","datavalue":{"value":{"amount":"+0.7390511631965637","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":"Q1119627$1AB6D851-7395-4654-9DC1-791F0F523AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb55a7782805258c8fb7d4674f4b2d0d3b72055","datavalue":{"value":{"entity-type":"item","numeric-id":3724327,"id":"Q3724327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e306d82f5e8e3276bcd3479659c03361e25e39","datavalue":{"value":{"amount":"+0.7210062146186829","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":"Q1119627$D9E36D17-8FA5-41FF-BEBE-2A8D105DA77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a76c3b17ea7036c11930d58c15cf275b595917","datavalue":{"value":{"entity-type":"item","numeric-id":3644843,"id":"Q3644843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442a6679ccc09d71e3a35a9a4afa89b4e4930451","datavalue":{"value":{"amount":"+0.720537543296814","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":"Q1119627$DEB83659-99EF-4B98-A1A3-7EB8AE512119","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive \\(\\omega\\)-rule for proof systems","badges":[]}}}}}