{"entities":{"Q6124956":{"pageid":13259263,"ns":120,"title":"Item:Q6124956","lastrevid":102378179,"modified":"2026-06-06T04:18:59Z","type":"item","id":"Q6124956","labels":{"en":{"language":"en","value":"Cyclic proofs for transfinite expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830379"}},"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":"Q6124956$1B93B5FB-E78B-4498-B1E9-99B5D63CB30F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebcd87da9260a2ef2baf385f59607af197a8ac7b","datavalue":{"value":{"entity-type":"item","numeric-id":6124955,"id":"Q6124955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124956$A10CD0B5-5EAB-4D5F-ABBC-53F51FDE0B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124956$6B75A3C9-0E20-46D5-876B-A04B690CFD4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124956$D31524E6-E556-4B1D-A662-C64A7CF0134B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124956$F4928565-D86E-4C9B-8511-5D0CC0CEA516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"249ce44db0721fc079491fb62be278b4d955c9a9","datavalue":{"value":"7830379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124956$A20FCCF7-F13F-4283-BCB6-AB7953D68A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b953198924b932df786f97a4e42b44a2bf8a45","datavalue":{"value":"transfinite expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124956$E7211575-6273-4BCC-A8A5-6FE2E2D191E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ee44c4c90c70f3a3761464cfac963356442b4d","datavalue":{"value":"transfinite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124956$23C5D297-DC60-4B03-B305-F975FDA428B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124956$57F5C606-CE0B-4521-8488-801A9B32E8A9","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":"Q6124956$6DEDEA66-C146-438B-9109-67D2C4D28D1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71899a44a6c0682832f44b403041902a8b4b33cf","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-03669657","type":"string"},"datatype":"url"},"type":"statement","id":"Q6124956$0666ECDE-2247-4F0B-A091-4485DC9D8049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fbdb0ead1ce76951ddfe7335c5a6c8b55f54dad","datavalue":{"value":"W4281891509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124956$227EF354-CD5B-4B6A-BDF1-41865D7C5AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48711c945c9a40c7a01bfa9e6f1ce1d11e6b8b6d","datavalue":{"value":{"text":"Cyclic proofs for transfinite expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6124956$2F248A33-DFDD-46DC-9FBB-3188DA616118","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9c352f0417c4cd4b232f23cf087093be403c031","datavalue":{"value":"10.4230/LIPICS.CSL.2022.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124956$2C9EF619-BA82-475A-BD9F-4D512439597A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32b7ecac9121fd1f3086abef4e87b9f022bc8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed59e4dd70109ba693bd2121f60238af7f3ccfde","datavalue":{"value":{"amount":"+0.7880301475524902","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":"Q6124956$8E008CCC-7A77-4F35-9422-FB22BF902CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8025756437ab0862486ee2737530d691f3c74922","datavalue":{"value":{"entity-type":"item","numeric-id":5222971,"id":"Q5222971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb18799ddc51d2783f60937a69a55744d3c02b7","datavalue":{"value":{"amount":"+0.768916666507721","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":"Q6124956$84A02B98-359E-4E74-8535-4C46F47671F3","rank":"normal"},{"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":"0d1b2ea5a4c3a24c9317e03eea3c4ab0dbe6b9f7","datavalue":{"value":{"amount":"+0.7652763724327087","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":"Q6124956$4F2981DE-E7CE-4254-9238-BC3493ADA4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f43b6220e2f921a25b4bf87a404819d6c91e87","datavalue":{"value":{"entity-type":"item","numeric-id":3648723,"id":"Q3648723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f856264cbea75cf7d45edab9ad6da8667e5e610e","datavalue":{"value":{"amount":"+0.7514986395835876","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":"Q6124956$78E4F982-326D-45A7-940B-4CE201F6B629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee33a4010e4b37f709c2c2b3288237297e2679ce","datavalue":{"value":{"entity-type":"item","numeric-id":6639555,"id":"Q6639555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f6b9586cfc73802f18f1c3fb613fc64957f011","datavalue":{"value":{"amount":"+0.7504580616950989","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":"Q6124956$A6AADA3F-A814-4BC2-9A4D-90169C2DEEFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cyclic proofs for transfinite expressions","badges":[]}}}}}