{"entities":{"Q1694475":{"pageid":1705216,"ns":120,"title":"Item:Q1694475","lastrevid":68244726,"modified":"2026-04-12T22:24:27Z","type":"item","id":"Q1694475","labels":{"en":{"language":"en","value":"Cyclic proofs with ordering constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833564"}},"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":"Q1694475$BDF61315-5A43-4FD9-AEEA-CDE58AD48F29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcb107b7cf2256c08cb120b0df4ba3d905aab4b9","datavalue":{"value":{"text":"Cyclic proofs with ordering constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694475$ED0158E7-90B1-40B8-8BE5-5A6B434DD8AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b83d87e356e38c8e96dc21bb37e5d81ef70e6a4f","datavalue":{"value":"1496.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$6F9377E1-0A66-439B-B1A1-C9A3323928BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cdb000bbb8ecf295e67d62dfa41860a9ce39b8c","datavalue":{"value":"10.1007/978-3-319-66902-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$5D3B45F8-6775-4AED-9BD3-C438CF6AAB5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694475$13483FDD-1C97-41C6-B550-834A10C96D33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694475$BD918D79-0BF4-4C6F-8E28-6CC4F310E2CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$5F77B218-B54E-436E-861F-B8F9EC70ADC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$7A8C0FEE-B6E6-455D-AA71-518588495C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$4C58C131-02AC-4BDC-BA9C-093CD2ECF5EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab6eda0c9b84e18c256d8f0259844996b4819f41","datavalue":{"value":"6833564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$FA5BA7A7-B61F-4A9B-9C44-E7B45DB22586","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":"Q1694475$849EFC7F-2634-41C9-9A14-87705056A163","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf08ef417f93f6b7d653dfb6a5e722bf6b019005","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694475$EF9A1F96-C326-4E6F-828A-F7C2AFB18CF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"915a2ff9a87d0df160f983464901ede36bd0310e","datavalue":{"value":"W2752025688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694475$BDBAB497-D9A9-45D6-9D11-7E975A4F5869","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4acd4389ae9e81c79b41623f1c508d68604a69d","datavalue":{"value":{"entity-type":"item","numeric-id":6160752,"id":"Q6160752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c712961763a061ab849da2b0f5ef06b74f6328be","datavalue":{"value":{"amount":"+0.9025998","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":"Q1694475$C021626B-37F0-4552-ADE6-E4745621DBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9b1ec3df75183da3403b62dc33faede6033f29","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7785a524e428ca9871ede163c9fbac00701c155f","datavalue":{"value":{"amount":"+0.87655056","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":"Q1694475$0D9F1BD2-A0F2-43C7-A16D-8C0DD2BD4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a81f66390a64b27baeef8a514326a05e1aa93c9","datavalue":{"value":{"entity-type":"item","numeric-id":4583879,"id":"Q4583879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8445502e727c0e8202524a10c587f113f8525844","datavalue":{"value":{"amount":"+0.87240285","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":"Q1694475$A2276AB2-C453-48A8-99CC-6E5F5789E007","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":"e2931cc036a955c11766008b61acaf648362252e","datavalue":{"value":{"amount":"+0.8649912","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":"Q1694475$5C92D39B-6172-4912-9374-9BF8C29180E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c28a5eee9d2f3d50b9cf3d47ef0919bd8e791b","datavalue":{"value":{"entity-type":"item","numeric-id":1694474,"id":"Q1694474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1fbfc09998ee0cc76a37fe82c43c72b74f41d0","datavalue":{"value":{"amount":"+0.86258554","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":"Q1694475$0C30A277-9450-4058-A803-66CA5FBBABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2143fe0527875ae99dafdff411b38ef1bc5265","datavalue":{"value":{"entity-type":"item","numeric-id":2104539,"id":"Q2104539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd58152f4fa002f63c6b53b125dea58e37f3a4f6","datavalue":{"value":{"amount":"+0.8601632","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":"Q1694475$C6F60840-66EC-47CE-9A1C-C65589B81A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53dbaac8b09008dc2ac495bcfc432b4913a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4400884,"id":"Q4400884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e53f8942a8c9a5bdfaf9941bde982c38c45fffe","datavalue":{"value":{"amount":"+0.857993","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":"Q1694475$824DD890-59E0-4E28-BBD7-925701D2776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a3913b07e9027847b5a4eec7ab3e0f0fe52c25","datavalue":{"value":{"entity-type":"item","numeric-id":3608810,"id":"Q3608810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4bafac9db4b84fd3cf85bf737ba22b91da74b9","datavalue":{"value":{"amount":"+0.85709804","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":"Q1694475$B0EA9DFA-7CE4-4AB2-960E-1367785B1429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3354883f88c20c3b5343239fcf355a135ece24a","datavalue":{"value":{"entity-type":"item","numeric-id":6159945,"id":"Q6159945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ced812f35cdec63b9a2ba6436936885d044cac","datavalue":{"value":{"amount":"+0.8568548","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":"Q1694475$44B634BD-E6D2-4F5B-AEAD-F2839D6DB6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cyclic proofs with ordering constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cyclic_proofs_with_ordering_constraints"}}}}}