{"entities":{"Q6117138":{"pageid":13251445,"ns":120,"title":"Item:Q6117138","lastrevid":39709676,"modified":"2024-12-30T17:36:09Z","type":"item","id":"Q6117138","labels":{"en":{"language":"en","value":"Computable Heyting algebras with distinguished atoms and coatoms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7727818"}},"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":"Q6117138$025C0342-4707-4853-B5C0-87BFB76D8B44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9349c821fe0c64ba58c8b4d564e69ccf5b4ad399","datavalue":{"value":{"text":"Computable Heyting algebras with distinguished atoms and coatoms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6117138$5EC985D1-29B3-4880-A052-81D0E2277991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db24167d5608382f10672356278a1529660e6ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1670716,"id":"Q1670716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$F8EC13DC-F19F-4346-AF3B-D38729F5659D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$4F2AD875-5691-41DE-887B-F899A1A7A756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3fdc4707afeadfab464a2e4a8e3d58168b3dff","datavalue":{"value":{"time":"+2023-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6117138$DC049088-7951-4014-B4D4-1157FABC1A1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6117138$EE342F58-9BB6-4810-8204-08855752BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6117138$918791E1-6783-4A66-8291-2784F62A5E65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b52bc6a45d2872c3d5688be063104255f57d93ad","datavalue":{"value":"7727818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6117138$2F255B5B-7496-4921-BC07-67443721242F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d96b00b703394dec7a131f196d03a78971399e8","datavalue":{"value":"computable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6117138$EBB81DF2-0392-4F42-BD58-5A4AAEA88582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e5e5c1bae94f30fa2d008f627ce1e408e23d38","datavalue":{"value":"degree spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q6117138$30E9E57E-B8A3-4630-B35E-33716EF26FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c9751c10cfb28564321aca75891df46510f47b6","datavalue":{"value":"computable categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6117138$D9463C1A-D33B-41EF-A4D9-0AF9CD3A0B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6117138$A559BF72-4346-4C14-86EF-2C5C17A92F1E","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":"Q6117138$DAD72BB9-80C2-4DAC-ADE8-4F93CF9BFB6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f124a7cd8d748dcf2b33bcbaa8b33060257be49","datavalue":{"value":{"entity-type":"item","numeric-id":764268,"id":"Q764268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$425C963E-8ADC-408B-AA09-89BB44F6CFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$F4FCB933-1E54-4A53-A208-48AF2698274C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$B2731CC2-832C-4FA7-97F8-B47F2063D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b9f08b27f47e6a85684d9ebacfbb21e2187f00","datavalue":{"value":{"entity-type":"item","numeric-id":514501,"id":"Q514501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$2D7147E7-B747-47A9-B25C-C28F871A8393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8558d969b897c7e502193d9236c17b5814d53f","datavalue":{"value":{"entity-type":"item","numeric-id":5241409,"id":"Q5241409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$305E171A-C7E6-4F7E-BF6B-0D6C15DC959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b1b95e1a675e071556d16399dcbd4e311375ac","datavalue":{"value":{"entity-type":"item","numeric-id":2404797,"id":"Q2404797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$7FD31559-BC30-43D3-820A-E4D33291F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f5082da788d1b695f7c9a80ab09758ed082252","datavalue":{"value":{"entity-type":"item","numeric-id":2036466,"id":"Q2036466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$8D6766D6-ADB4-4090-9496-6EC9FDECEF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fcaca8d57088bfbf309539e2148570e36dc8894","datavalue":{"value":{"entity-type":"item","numeric-id":471691,"id":"Q471691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$D3B0DBE0-88D9-46F4-986D-EA0761ACCC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$7E0F7C29-2403-477C-9C04-BFEEC5A3D867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfe51e4a56c419fab3f775e8cb35a2aba8b5f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4152532,"id":"Q4152532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$BA81C872-94CC-4675-BD14-196772FF8855","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":"Q6117138$EEF4E1A5-FCB2-4DBB-92D9-D33663EDED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af80a122d294a5c218d4e41a85a5062397ac36f4","datavalue":{"value":{"entity-type":"item","numeric-id":2803247,"id":"Q2803247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$262A2C02-D8FF-4C00-A779-C196581D307C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541c4f0a87a5487242e436b01a079e3eb4c69613","datavalue":{"value":{"entity-type":"item","numeric-id":2970966,"id":"Q2970966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$71BFDE23-D135-4E44-85CC-AC621BE15293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$ADBEA813-216B-4338-8B46-B577B3C93627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05842771ad47a3d3403f057a3b67447b5fa7c597","datavalue":{"value":{"entity-type":"item","numeric-id":1159633,"id":"Q1159633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$A285BC3C-F086-431D-90CA-081116EA85F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e05d7132d40513b67e6d35d3751926616ce7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1156127,"id":"Q1156127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$0EEED038-A9EA-4A10-9AF8-E6B8678FDF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9f37de6d915d628253b3ef9f9b1a59d7756a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1873769,"id":"Q1873769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$A11434D4-346A-4FD4-BE30-E45F923D268A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae79ad29404d2fb7ea2d2e284fdccbe71dec4362","datavalue":{"value":{"entity-type":"item","numeric-id":4249356,"id":"Q4249356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$A0559DAE-C66C-4385-A3A6-A6EC298058CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ac602eca84627cafb1e3bf842bbac0bee8b346","datavalue":{"value":{"entity-type":"item","numeric-id":1612482,"id":"Q1612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$A8819A29-1794-4F66-913C-97EF78C2FE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7f575c9674a2b65b861d1e80df25dc27fad5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4323032,"id":"Q4323032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$7C82602E-1B82-44B0-8AEC-9EC85310C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042101fd5c89bdf64df89fd80754c51d47baf097","datavalue":{"value":{"entity-type":"item","numeric-id":2036471,"id":"Q2036471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$8E7465C8-B537-45A7-B617-02196589B1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6f3d86e7c3b92c29a23701627de6f8f425aab1","datavalue":{"value":{"entity-type":"item","numeric-id":694494,"id":"Q694494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$E9010147-4B3B-4489-8A56-335C66844E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ee54619e7a920c6b89f8dd1579b992f80cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":3770517,"id":"Q3770517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$5F9086DC-F447-47F1-B724-073C91EE3D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc3ab93e2b5c10f5fe970184531c5c3042f0a93","datavalue":{"value":{"entity-type":"item","numeric-id":2710598,"id":"Q2710598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$54192E00-58AB-44D6-8DB7-D66AA63591E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ecf873d7298d2970a49b8f0f2d63f51d3e8df2","datavalue":{"value":{"entity-type":"item","numeric-id":2401538,"id":"Q2401538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$3A1F6B43-E496-4E1E-92F2-EA302F63AE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$5944DFB6-FD7A-4D6F-994A-A078E20961FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973b025ef5deb72022bf98dad3c19b0781d955be","datavalue":{"value":{"entity-type":"item","numeric-id":5537372,"id":"Q5537372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$90FD89BA-9EBC-45F1-997E-27AF0DF3CCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77ee540343e0e3e8f6577cbaf5127c8e867e32","datavalue":{"value":{"entity-type":"item","numeric-id":3370758,"id":"Q3370758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$EE4E1CA4-AB5E-4887-8F6E-0D266A158933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a643da11d99c0d1e34ab6ef6a39b9d3f550e74","datavalue":{"value":{"entity-type":"item","numeric-id":4638989,"id":"Q4638989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$D58AE0B4-7228-4076-A312-EEF57777A2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecde24e1420fe16cbc8616695972bdabac93707","datavalue":{"value":{"entity-type":"item","numeric-id":3508087,"id":"Q3508087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$E23D2FD0-F988-419A-9799-1DA50276E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3930d5ead5a68b39afec3d71ec403f11bd0f101","datavalue":{"value":{"entity-type":"item","numeric-id":5371227,"id":"Q5371227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$26CEFD42-2A72-49E3-8D4D-8F388034F49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b397d740d5534b74eb0cd2636c9aa22c2ab9b60d","datavalue":{"value":{"entity-type":"item","numeric-id":3331215,"id":"Q3331215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$CFB36330-F1D4-41D3-98C3-54F17C17F98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dec416ead949ba55ab98d0194a607553c3113dd","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$F7904D12-9A93-4977-9FA2-8AC84FF1638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8d31b9fc87b89ee3effdeb240daa3f1a04408e","datavalue":{"value":{"entity-type":"item","numeric-id":3955343,"id":"Q3955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$074A6905-C158-44BD-B63A-BFC58C1EA2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$05FE37F0-7651-4336-B4F6-3CC04FCCC4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"542541764db8fe2789e36d4b90d227a5106d91db","datavalue":{"value":{"entity-type":"item","numeric-id":4750634,"id":"Q4750634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$9E1E703B-0623-43D9-92C7-99C523321D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a2b9d13405189c02127187179ae3a2b67315a","datavalue":{"value":{"entity-type":"item","numeric-id":2864221,"id":"Q2864221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6117138$16A8A5AF-091B-4518-8E40-A5C794451D71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3d211ba5947560377875c5f6a30ece5ac74076b","datavalue":{"value":"10.1007/S10849-022-09371-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6117138$285110AC-3124-41BF-8460-1BCF9450B521","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6117138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6117138"}}}}}