{"entities":{"Q5055314":{"pageid":7084891,"ns":120,"title":"Item:Q5055314","lastrevid":55430692,"modified":"2026-02-17T16:14:35Z","type":"item","id":"Q5055314","labels":{"en":{"language":"en","value":"A negative solution of Kuznetsov\u2019s problem for varieties of bi-Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632520"}},"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":"Q5055314$06278DC4-8178-4DE4-85FF-42B799830116","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f87b5a1d52de698d5e2e34d87e603b4b47cc4bb6","datavalue":{"value":{"text":"A negative solution of Kuznetsov\u2019s problem for varieties of bi-Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055314$2D42F9E9-C451-4661-BF03-2473EEEF1466","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cc30e24f1284cbe371644e3f6dd4529b02c4c63","datavalue":{"value":"10.1142/S0219061322500131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$80CA65BE-2833-4C8B-9DBB-EE2CE5DFB143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$3EC52D10-9CBE-4DCF-9304-D14BC5EA4E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$70ADA75A-2745-485F-9316-404ADCBCD546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a64c885a1154df6f4ff877f7f306fc40e8a6d","datavalue":{"value":{"entity-type":"item","numeric-id":165870,"id":"Q165870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$F8755825-F3BC-4D99-B46E-8CFC860ABA8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$C1358926-7D08-451E-BC83-285FF63BDFD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f21f8283973d2781c6e9c387b8c1b8b99e604be8","datavalue":{"value":{"time":"+2022-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055314$71358C82-5151-4ABD-B07B-0AEE6C8E06B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b4f3591a483881a8a107b74d3f573e5f9dbe221","datavalue":{"value":"https://arxiv.org/abs/2104.05961","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055314$E84D8EDC-EFE9-492F-AD86-783771FC356E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$3B95AF99-53F9-4192-BBF4-057BEFBD5A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$5E45B2EB-6871-4C37-B582-8A87A65F3CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1018b98c6156b55756b9026efc9ed157beaf4774","datavalue":{"value":"18F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$0760C7C8-4F6A-4AF3-9B32-B875668DD7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$1C0C5609-FCD3-45C8-8032-CF2BBEEC6745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$F9CCFBD3-6485-47F5-B417-A979B6899AD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71c7fd90921ec301639ce88ef3597ea52a194121","datavalue":{"value":"7632520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055314$1C884BB9-986E-44B9-8CB2-95D52C94883B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$CC964C4E-C6BB-4785-A3E0-BD2721449F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266a4a6e5dca0d9e9c06d033c67c7b34bb8f3003","datavalue":{"value":"HB-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$2C5EDB7B-ACFA-422F-950E-9166E5EA6A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$75794D2A-9D15-42EA-9B53-1F293A202AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811032262584aa736003b7155446827956ac0526","datavalue":{"value":"bi-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$4F3D9AFD-A57C-4D96-B6D5-709FEFF8F95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1e6174540c9518dcd50c07b6595323f67edfe9","datavalue":{"value":"Esakia duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$EBA15581-96EB-403B-85FB-149CA8EEDF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a9c41bce6f2293845cedca01482b67fd73132b","datavalue":{"value":"fine frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$2C59B112-E1C5-41B2-99A7-DF494140CF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6844eb391dbc6b9c954ed5ef48bbd4b661beb5af","datavalue":{"value":"Kripke incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$3163E18C-80DA-4231-AA01-B351DE53BEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a68180c4ed77ea1a6331c1581a7b62b5e6a5a93","datavalue":{"value":"topological incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5055314$70EFC16D-1BF7-4A12-BE62-D3A5A7AA6E2B","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":"Q5055314$BA7C2849-93B4-41A3-84EC-DB3A4A723ED0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a73c74d930d7a7a0ab19d11647d9f975fd080bb","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$176615F5-4F1E-46D6-970F-EF19377E0CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$A4BE1F4D-F646-48ED-87A7-BAC732E260E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$288EF538-F0DE-4933-B20F-7420F0324F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1c3e48bdec8274ff05000cc218a979a71db3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1722781,"id":"Q1722781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$EE12CF2F-D1AD-466E-81D3-8E09C42E1553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$29604C8E-8269-44A3-BF7A-3927FABFF455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$5BD75442-9DDD-4BC5-B412-4D3715EA1DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40448f8bcd17cd48ba0e3efd90b4615c28489680","datavalue":{"value":{"entity-type":"item","numeric-id":1224086,"id":"Q1224086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$76644EC1-99A4-4B5C-A0C1-D20881A62B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504b2d7c9a35283762422f31211bcacce81e8086","datavalue":{"value":{"entity-type":"item","numeric-id":4071209,"id":"Q4071209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$7007DAB6-C4B8-4BD2-8AD9-5627F0DA5AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$8583C97E-6E09-476B-BE12-8301EEA2B1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158780c5b17a311ed724c022ce7bd7ec55df7323","datavalue":{"value":{"entity-type":"item","numeric-id":4109648,"id":"Q4109648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$54826180-C30F-41A8-8890-724FA1733FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a705a460afb88d96d5a18a74aa68d588abbf1863","datavalue":{"value":{"entity-type":"item","numeric-id":4807691,"id":"Q4807691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$8F0391D7-AEC1-47E2-A0F0-033C5C95F40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$7B957ED9-8CF5-4926-8195-72C5855B410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$B13073B8-3A2C-4CC8-BA9E-E469EA1E368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$E8889879-56E1-46D7-9647-3D44650030C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$C59B11BA-4416-4460-AD57-204FF1C5263C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63886085ceb41f0201583e8895135f7b6d31fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3902989,"id":"Q3902989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$70F357C6-0092-4C86-AD95-F0B2C6093F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c758180a131a9c902a05b773404451c43886e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4215603,"id":"Q4215603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$7CB67ADC-10CA-49E0-A526-118BEA221E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055314$28436E97-FA1E-49C0-A1FF-EBC7E068E3BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70da097fa883ce06c2fbdf8057f119440e30d673","datavalue":{"value":{"entity-type":"item","numeric-id":2195632,"id":"Q2195632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf4efb0e92400c33652cf26f93f9eff6da89024","datavalue":{"value":{"amount":"+0.7179135084152222","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":"Q5055314$1F33E229-9788-4487-9A93-5E632E4C7AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd466a5678c34c2e76a740eef98c6e202e0fec90","datavalue":{"value":{"entity-type":"item","numeric-id":3772270,"id":"Q3772270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb52d69fc5aa992e6e54a0881af581fd7422bd7","datavalue":{"value":{"amount":"+0.7032445669174194","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":"Q5055314$FCB02243-E867-4A7A-8503-1393890AEBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97865be76c26ac08bb6b9956aa055346294860bb","datavalue":{"value":{"entity-type":"item","numeric-id":2767244,"id":"Q2767244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f95385bef9ebebe7b8d462ca4b73ff6d35ee5e","datavalue":{"value":{"amount":"+0.7006669044494629","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":"Q5055314$D86389AB-AB8D-4F29-A809-3AD299D48CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f08e5d70aac2124a0fe8604959bd6459ac1f94","datavalue":{"value":{"amount":"+0.6997628808021545","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":"Q5055314$36C58C62-2F04-45CE-9EC6-B4C9660618C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729a3d9c177696e621aeb530eec3a5d844dda6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4575123,"id":"Q4575123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5914087a33fe93b5d98552b10f9116545fcd2703","datavalue":{"value":{"amount":"+0.697864294052124","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":"Q5055314$6A8B3F7D-ABCF-4673-BC00-AEA14A60E9A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055314"}}}}}