{"entities":{"Q5880939":{"pageid":7910490,"ns":120,"title":"Item:Q5880939","lastrevid":40728449,"modified":"2025-04-04T12:10:19Z","type":"item","id":"Q5880939","labels":{"en":{"language":"en","value":"Evitable iterates of the consistency operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661118"}},"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":"Q5880939$630D8C76-BBEA-47B7-8EEE-F6CA78D0E375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47790b42160f23e49130cb6af3dc2ea0d2df5554","datavalue":{"value":{"text":"Evitable iterates of the consistency operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5880939$8BB32C0D-CB5F-410D-B22F-FA6BA158BE23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5935102eef898c9c5b2d4f4ce43431e0ea9a2983","datavalue":{"value":"10.3233/COM-220400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880939$EEC85F5E-FEC7-4F75-A6A9-5D4F684BC576","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$E61F9336-876D-4A44-A208-79B6E77344A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5880939$5F08F04E-FCB7-44E2-BCE9-69BC78B5B0AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"134e0300df4d0a37d617ecd0943aed2f14e59eb9","datavalue":{"value":"https://arxiv.org/abs/2202.01174","type":"string"},"datatype":"url"},"type":"statement","id":"Q5880939$22CD9F55-117C-4674-B526-6611BECF386A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880939$FE9E3134-2B84-4CD3-B99F-86252381B6DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"787fc4c98546b1e5829978d60d69b5b9fa8264b4","datavalue":{"value":"7661118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880939$3C2FD874-07B2-428F-9818-16CA0B8F08FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880939$FA7464A3-FF2F-4FF7-BF62-F72B64560519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880939$E4B20238-6E0E-466A-84DC-19ECF78570D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9909318ff8caa892e49129d8c0652cf0da7d3af9","datavalue":{"value":"Martin's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880939$D678F26B-AC79-4BDB-BEA7-678442D3D7C9","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":"Q5880939$965249E6-9378-44B1-B9ED-B8AF350E238E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c710203ee7295fc7bdc7a43f624dbb8c7200f8e5","datavalue":{"value":"W4306748408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880939$6441D140-0459-49B7-A969-3773F406B13D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfeaf66b5318c9d92cf3d120ecbf975172a3da7e","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$39A8E52A-C280-47B0-A70C-335F068865DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a809803e18561d5ce2af1fe749a337f10f2dfdd5","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$A3C48560-FCE3-40F7-8125-22202CCB94BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$3C68FD5B-E8B3-44F0-BDE9-82E911DA74D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd525b64ecdea3db297a6a2aed82e381814a9282","datavalue":{"value":{"entity-type":"item","numeric-id":4628679,"id":"Q4628679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$2FD21D67-E105-4979-8509-CD470096DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def144a6c01a2c5f09f7a663c86480a856bf8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3866106,"id":"Q3866106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$EA5613AA-4DB6-4EB7-A95C-5975045B3353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c7bf56b39b8da2a69c9516d134c37f6cff24e7","datavalue":{"value":{"entity-type":"item","numeric-id":2258545,"id":"Q2258545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$810BDF21-2AF6-4015-BB22-91DEF2FD335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41178c5a11841cf654febc42c4867aa3ca1d978c","datavalue":{"value":{"entity-type":"item","numeric-id":3832563,"id":"Q3832563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$B00D621D-9D1B-4345-AC50-83EFD94F4CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff58ac35c0079e958373493858763557ba363ea","datavalue":{"value":{"entity-type":"item","numeric-id":4959740,"id":"Q4959740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880939$80C897D2-FFEE-4A31-947F-C549DFDCB0AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87b73706e379898cec12424b81d0f11656a56cd","datavalue":{"value":{"entity-type":"item","numeric-id":4628679,"id":"Q4628679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f34ee1e0932654abf3784ea76b3735b2bdeb8a","datavalue":{"value":{"amount":"+0.88111097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$EFB60C57-A963-49B6-AE09-EC9BE9265DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7ac8b44d27b8a9c694c89b4468de5b1b6be9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4959740,"id":"Q4959740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b657cf6c78c821e2390e91fa34d89b148c32a4","datavalue":{"value":{"amount":"+0.86312556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$873C529F-D635-453F-8293-A3D75007C92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283d3fc10b0ea40a9e73b5920b5a891b7297ffb5","datavalue":{"value":{"entity-type":"item","numeric-id":649041,"id":"Q649041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbd668347ee20f6d39e7b808b42b6a1afb6fa9d","datavalue":{"value":{"amount":"+0.8321916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$C7D02957-DF28-4965-AF14-087A96603C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d728d9dd5d394289177587b9b70048f53df91","datavalue":{"value":{"entity-type":"item","numeric-id":1734260,"id":"Q1734260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53059b68667734f9cbbb39f59eb68fe1c8a6432","datavalue":{"value":{"amount":"+0.819178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$07496F9C-76BA-4F0D-A590-2ED8EA36DA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d154a55c8e8506a46620229ce6baf7453e423f9","datavalue":{"value":{"entity-type":"item","numeric-id":3123129,"id":"Q3123129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299f1b451a0a07304669cc93ae520b2dadda708a","datavalue":{"value":{"amount":"+0.818706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$2D7E4216-5F17-4169-8B85-A55F6094DB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf2271a67c7e394c2bd8f8c375f74dfdef9e3ac","datavalue":{"value":{"entity-type":"item","numeric-id":4840138,"id":"Q4840138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d09c35c013dcca02fff2306251772bf2fb6f36f","datavalue":{"value":{"amount":"+0.8126098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$3A5A95D7-55D0-427F-B0FA-CF1E96298D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4fcb683569b350c0df669ee54f810f2b4569f2","datavalue":{"value":{"entity-type":"item","numeric-id":3768365,"id":"Q3768365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3101e7769e51a41e18ac6316786c4feb27e1f32f","datavalue":{"value":{"amount":"+0.8122762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$256303B8-C3AA-4CBA-A21A-7F74A016E813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9a7172e9077a8b23dbff6b4b03f884424c1ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3292863,"id":"Q3292863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"312f5df7e2310c8f54f1cb460514e91b1df44856","datavalue":{"value":{"amount":"+0.81194866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$245AFF3C-7628-42BC-BD23-8FBE3B72AEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df79be8a869adbf7f0b79c5dcc9de91500392df9","datavalue":{"value":{"entity-type":"item","numeric-id":3455845,"id":"Q3455845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f2f49eb54f604d9bd451f09c50b0b4d8cbff83","datavalue":{"value":{"amount":"+0.8071322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5880939$5A6D151D-2863-4CCD-AC0D-40A282C8F628","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5880939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5880939"}}}}}