{"entities":{"Q3644843":{"pageid":5674749,"ns":120,"title":"Item:Q3644843","lastrevid":90433175,"modified":"2026-06-04T20:10:32Z","type":"item","id":"Q3644843","labels":{"en":{"language":"en","value":"Natural deduction for the finite least fixed point logic with an infinitary rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632165"}},"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":"Q3644843$3B944DAA-AF7B-4213-A125-2DD18FC3F1E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f330638db5e0e61b2eed823811233e35cbee1971","datavalue":{"value":{"text":"Natural deduction for the finite least fixed point logic with an infinitary rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644843$AC155B26-FDCA-4816-BD08-7D68392F1B9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"107a25b862d4833bd6a2316a30c2784842b21744","datavalue":{"value":"1182.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$721BE7E2-505D-4E12-ACC4-FDAA622BC815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c99249ae7991044ccfa8ac0796ea14d8808e60","datavalue":{"value":{"entity-type":"item","numeric-id":2866739,"id":"Q2866739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644843$4DDC74AD-DF34-449D-8E54-0352CC965A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4e29a6551ed654b95caa163f18d6589ab9dd41e","datavalue":{"value":{"entity-type":"item","numeric-id":654909,"id":"Q654909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644843$AF7E4D1E-C599-4504-89BF-3D58FCA4944C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644843$90F4B8FE-B9BC-466C-9D7C-719A311D4A92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$093D7D2C-6251-435E-BBE2-45D053AB5CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$8E31B443-32A0-4849-8F7D-BAC1003B97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$B11F9EDB-0812-4396-A95C-ED24E629A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$42B0C910-9AA4-4661-B189-5EF397860396","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb920a0c3495170b25cfab2a321860c891e4b9c8","datavalue":{"value":"5632165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$95C462DE-798C-4FDB-9E8D-6D02D7C9AB60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341d622a5240cbf4bdd40b6fe72b2dfaa047efaf","datavalue":{"value":"least fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644843$83E9ED33-DA17-461B-958B-6318F92A2408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644843$B8188FE2-C5F7-475A-9FB8-5FA1857A8F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644843$CF4884D2-31D2-4F15-A6D7-5A06F231406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebad0bd39c86a4e53bd1c840dde2b365520831d","datavalue":{"value":"infinitary natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644843$7FE3FA4A-332B-4761-B007-8ACBBC2CC5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e03202ac9d2f7308a937347e9aed02ad56e42ea","datavalue":{"value":"infinitary sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644843$0C704A03-DF41-410E-8B44-BBCEA204C478","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":"Q3644843$34B07CA2-87FF-4A2D-8D7C-0432ACB949F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"384903e85bbcf77e975e92cd8f72a1ee42417c5e","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp020","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644843$FE663E86-E112-4864-BCEE-8A0289408585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffbdd1de82dae29d0efd65f92646012a5dd8433f","datavalue":{"value":"W2161977620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$7654255B-A9EC-4598-9C02-6345F6590E05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dedfe473765453362e329f81cd1124e69aa0e083","datavalue":{"value":"10.1093/JIGPAL/JZP020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644843$C79690C9-2042-4CE6-B410-CFAD131B93FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04de06bc149ef6354d220e7d56a220bd6dd487ca","datavalue":{"value":{"entity-type":"item","numeric-id":4874650,"id":"Q4874650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2a6ef454f9508737858536102769d1f1f4277d","datavalue":{"value":{"amount":"+0.9233772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$2E8F6C18-4FB5-4EF4-845F-9B152AAA7CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc156453b265918fa9e8cffc2e388629d4b572f0","datavalue":{"value":{"amount":"+0.9220754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$D17FAFF6-1457-4E7D-BB3A-F7421B813BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f643253298033b45df78d16ad3ec0c7f684063","datavalue":{"value":{"entity-type":"item","numeric-id":5176676,"id":"Q5176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f64da82175917eadac90373842f8f9e2d09350","datavalue":{"value":{"amount":"+0.9208404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$D4C7159A-5204-4CE8-933B-98278480C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4147a12dbfb9edbd8b5f736b28badd18f2fc82","datavalue":{"value":{"amount":"+0.9185918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$388AEC55-4117-4947-8E07-1407A0961266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d83bf28d0d1fe058936a25be61be5fbbc5fd706","datavalue":{"value":{"amount":"+0.91077316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$86A4EA71-5277-4C74-BF8E-B5F85F2BBF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989f39be40feb838261bffc12dc624718ea5f648","datavalue":{"value":{"amount":"+0.90905666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$10323823-786A-4232-A961-100988D40B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a813664f4a19b295f60be8e770b0171bd75d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3305619,"id":"Q3305619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a9bfdcc25f826cff6211b75c1ca7d1929f06ec","datavalue":{"value":{"amount":"+0.90866303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$DE4D8824-96AC-4062-A6BE-153A72C90B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c015bb7062bd77c09695976dcef472b0b8232600","datavalue":{"value":{"entity-type":"item","numeric-id":5869601,"id":"Q5869601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4725d030bfe623664e35b68fbd3173f68e1899cc","datavalue":{"value":{"amount":"+0.9056752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$B90EB8DF-3292-4DC6-9AF7-A5A1B919C399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a5ed9721d23fac17b661e7c2bdda633a4ee2edf","datavalue":{"value":{"amount":"+0.90537834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$6DF77ABD-0A3D-4F59-A61F-DD178B798F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952840c9d17c25cd70b4f295deb32c15acab25b9","datavalue":{"value":{"entity-type":"item","numeric-id":5958300,"id":"Q5958300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabfa972027304f7161c62bb5bda6fe4d8a06d3a","datavalue":{"value":{"amount":"+0.90525585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644843$C25AD87D-9D0D-485A-BF94-30F178ED513C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644843$58BB029A-9239-4B55-A118-C32698DB7873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for the finite least fixed point logic with an infinitary rule","badges":[]}}}}}