{"entities":{"Q5222971":{"pageid":7252541,"ns":120,"title":"Item:Q5222971","lastrevid":53469743,"modified":"2026-01-25T00:29:11Z","type":"item","id":"Q5222971","labels":{"en":{"language":"en","value":"A complete cyclic proof system for inductive entailments in first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076881"}},"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":"Q5222971$A61E6482-F939-4A9D-A179-3DBF6C59D1BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aadfcad3e231c1c6148eab7269c94d7e5024f39f","datavalue":{"value":{"text":"A Complete Cyclic Proof System for Inductive Entailments in First Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222971$94647D34-F9A5-434E-B615-5CEE1224AE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85c5a9cff0baf065ac278ea23e854a78f94ad3e7","datavalue":{"value":"1416.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222971$B3F37D12-C2B5-47C2-B553-C501E610CFFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222971$7A49BBBD-B56E-45E0-B147-F3E51CA49272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0174a7a86359e2cfc467dd0ebe3391285eca943c","datavalue":{"value":{"entity-type":"item","numeric-id":1990510,"id":"Q1990510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222971$22BD0D87-AD59-41D6-8776-EB7F39AD754A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222971$426BC75B-7CA8-4F41-B9AF-D74A9DD6B092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222971$AF74A8A6-EBB0-4BE4-ACE1-1A6F18510A9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222971$20ABB690-824C-4159-A125-D9CFBC409F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222971$38E28E87-B369-49EB-93F1-BA67E31DE5C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c493ca029d29c1a15bdd071b1034af9cfbdbf996","datavalue":{"value":"7076881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222971$10278E3E-8122-43E5-9A37-82E93F078DC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c721776aaab4e2747456f988e97a07a1277ab0","datavalue":{"value":"antichain-based tree automata language inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222971$A36E5AD2-6BA8-480B-8229-1498341CA5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222971$D3D57E7F-3C94-4F35-A357-86A311DE8D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222971$74FB6D3D-A22B-4BCD-89FF-0D137FF5A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60220bf05c0cc1e8e20b549069d458f7a90331c9","datavalue":{"value":"infinite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222971$12EACB42-E3BD-4F63-9823-9835339DB1A3","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":"Q5222971$58DED354-086E-4036-B874-D75A4263DE2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bbc50515a2ae38ae3d0ae1b6ea170dd6c8c4c9f","datavalue":{"value":"https://doi.org/10.29007/xgc6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222971$5075E97E-8A08-4690-89F8-E58E57DFE785","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fdd545d84fd85b080bc83b8afd4633aed2984a9","datavalue":{"value":"W2907543096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222971$31EBAE56-28BA-47BD-8A18-3479416A9EC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c73b26b07d0e04a7d97fa7386346a14c8cf435a8","datavalue":{"value":"10.29007/XGC6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222971$42C6F9F8-C89D-4234-A375-7C7516B5DF4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caca127597d4b317791566020f5b051b63334b21","datavalue":{"value":{"amount":"+0.8685404062271118","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":"Q5222971$CA1E6704-B378-4358-8676-7C757BE69A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d80961d71c1ad11c1e28f93e1d2b7ee37629be","datavalue":{"value":{"entity-type":"item","numeric-id":1694475,"id":"Q1694475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c899cf8913481ba83494b57ad0412c2469747f2","datavalue":{"value":{"amount":"+0.7701510190963745","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":"Q5222971$913AFC40-7220-4216-B351-DD5A1FE4E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ba82c3cd42101034d3846d4cd40d37d68d6fae","datavalue":{"value":{"entity-type":"item","numeric-id":1798782,"id":"Q1798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c3c734e772618699b49f413b0fa73adea0df2d","datavalue":{"value":{"amount":"+0.7652479410171509","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":"Q5222971$F8755D40-DE1F-4AAB-885F-B2A9C1DCE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"577ca11d46a3f8ecf7463ec63638e7d223497c22","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc5e0c39132b18d2905558251d07eb9d100dd0e","datavalue":{"value":{"amount":"+0.7620787024497986","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":"Q5222971$3F70E218-D2C6-4023-B6F5-3F95EA57FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02798da60b66c0595fbc040a700aefd5bdd18759","datavalue":{"value":{"entity-type":"item","numeric-id":3611996,"id":"Q3611996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae86c6dcf134c2a2560b341f5898f085be0993a0","datavalue":{"value":{"amount":"+0.7416034936904907","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":"Q5222971$EB848A98-77D7-42CD-8277-6153217D40E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222971"}}}}}