{"entities":{"Q2864214":{"pageid":2874934,"ns":120,"title":"Item:Q2864214","lastrevid":79501253,"modified":"2026-05-06T14:03:31Z","type":"item","id":"Q2864214","labels":{"en":{"language":"en","value":"The better bubbling lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236165"}},"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":"Q2864214$7880256A-ADF9-4D30-8960-101AB4C831A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3eed0d9833462589b34ae291da259c0f05c00b3","datavalue":{"value":"1277.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864214$DFCB7FD5-B134-48E1-99E4-C8C3A0F25B63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$47569A3C-D23F-4433-A526-F624CD2E830B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$4BDE7877-A7C1-4C03-9908-51EA6AB44FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864214$50A2A064-10D8-49C3-A296-04AD27855291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864214$0690F6A8-C0B6-4A75-8572-7A39379E817C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4e3a27c4661914860b777302eba5cc4b162b8a3","datavalue":{"value":"6236165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864214$90A1C786-0127-4E0B-B614-FDAB08EC9123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$CA0736AF-FAE6-4668-A60B-62EA730B15B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$452D5AA3-6AC7-4ABF-80A2-20566DC75EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6762f7d8fca7fad0df6d1ffb2e346d5663e39aa","datavalue":{"value":"classical relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$059B3FFE-06C7-4369-872D-DBF59329C920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244169d45777a21a74ca95ec1079fbece6f7e560","datavalue":{"value":"minimal relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$570854A9-4935-42C4-88C4-3EBCAE8992B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1eb731ff8a8cfdb6912c5ca74ea88d7db8aa87","datavalue":{"value":"CB","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$105DEA67-8B7B-4177-BEC3-EB3037E43197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"354d4ce4a246bf9a58eeba8e19e3170582eb73e2","datavalue":{"value":"B+","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$62EA37BC-AC98-4BE0-8083-E063FCC8A5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$65C54644-6B5C-4796-9BC3-35EA7F5AF632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61160c34e3f4655d20353e1b6e2d923c8296b22c","datavalue":{"value":"bubbling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864214$3B29CBE1-00BA-4A61-BC77-BD561AD828CA","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":"Q2864214$AE8D12BA-3B89-4295-BCF0-C5830149B9BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f895bab468653a68361cfb00e639a78e62e15994","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.12.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864214$0FBFD226-FEB4-4AD1-8504-699DE2ACC19E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5bc059b32c251e48e60318fd17d464981908ab5","datavalue":{"value":"W1998409609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864214$6EA8374F-7909-4AD6-B81D-4F170D61538B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$6CAAFC23-9A9F-48F3-9F9D-1E7AB7AEA989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cb82b0bf76bd423ad099e8bd8f7af376304641","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$6231FA9A-1332-496D-B73D-B7050E34295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c97593c2225831d5049734db7e04c08227cca4f","datavalue":{"value":{"entity-type":"item","numeric-id":3843597,"id":"Q3843597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$929051AE-3D6D-4583-8E7D-42112FF8C8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76afab86c4743f9938c618014047220792d9988e","datavalue":{"value":{"entity-type":"item","numeric-id":2842838,"id":"Q2842838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$E533B53A-BD36-4EA7-9EE9-1B96E097A75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc803507d3b7d093957d2109e59f1a91bbe771d","datavalue":{"value":{"entity-type":"item","numeric-id":1430899,"id":"Q1430899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$10D8E187-87F6-422F-A937-3F006A625D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$F4569093-F01B-4D93-96AD-D12BC1732179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6a99cab95fe6c2784ccce89b00612bf8fd58df","datavalue":{"value":{"entity-type":"item","numeric-id":3001365,"id":"Q3001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$32299EAF-018F-4B94-AB63-2C9829CF6B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65357012bc3c003d09724541a00de14efa585850","datavalue":{"value":{"entity-type":"item","numeric-id":5694704,"id":"Q5694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$ABE90A99-D392-4E53-8A40-779705D9CB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864214$B1C3FD41-0A7A-4AE7-B0A2-0C2EEBEA5EE7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d22b80ba7c2b98387a445146fb8521b56b6dfe0c","datavalue":{"value":"Q124879021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864214$86A6954B-95C5-4942-94E9-EB53C40559B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52b92dd48096583ff8b6ae8fe32fb18096df9a69","datavalue":{"value":"10.1016/J.ENTCS.2006.12.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864214$8A68211B-2E2D-4572-9975-D930934A7DA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d36b7d5ba2bc295366670c00dc48059e993e4b30","datavalue":{"value":{"text":"The better bubbling lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864214$53A999B4-F95C-4091-A87B-06AFC55AF2CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe02107afcf11c8538a1a9a16c82b8b6f9442b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1430899,"id":"Q1430899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0063aafa3ff40745dec06b4440c9e55f71c5bc26","datavalue":{"value":{"amount":"+0.789417028427124","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":"Q2864214$31707203-56F8-4D15-AC0A-EA74337F3355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54146fd50ee299f350aa200ed88b00fedfcf3130","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591bdad148e4e00673724d085d57a3c7df818b3d","datavalue":{"value":{"amount":"+0.6974988579750061","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":"Q2864214$DA6E6787-AC8F-43CC-BD36-57C551C92010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87464adade447c44c86ffcc5952f1b3510939077","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57340edd0c40082aee4057aefd604cc07a8dc39","datavalue":{"value":{"amount":"+0.6911433935165405","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":"Q2864214$B4A46DCE-98E3-4556-9FD3-68B516AA6F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3281c8456c844779164c5106b348cd632c0b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":1427854,"id":"Q1427854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ba450a90936d2e8a957cdbd9d843ce502067e9","datavalue":{"value":{"amount":"+0.6903551816940308","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":"Q2864214$B55B413F-D0BF-41B5-9B76-C6D2BEC8CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7777d7659fd0a743f12c94fb9b5a307f16cac7b8","datavalue":{"value":{"entity-type":"item","numeric-id":4459274,"id":"Q4459274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c624cc29d373000e05ec89e50a670b797cd2e59b","datavalue":{"value":{"amount":"+0.681815505027771","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":"Q2864214$690F1BC9-834B-4738-A323-0CCE8B03A421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The better bubbling lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_better_bubbling_lemma"}}}}}