{"entities":{"Q5421932":{"pageid":7451506,"ns":120,"title":"Item:Q5421932","lastrevid":50195447,"modified":"2026-01-13T11:58:20Z","type":"item","id":"Q5421932","labels":{"en":{"language":"en","value":"Heyting algebras and formal languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5205069"}},"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":"Q5421932$C3B76902-F04E-4840-9AEE-284DF56AF9F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd3404d02b831d0b478fb6fe14ad7562c5348f98","datavalue":{"value":"1312.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5421932$61C96475-8582-471E-B9F1-67639E9D69CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3397489ec4154028d8339b56d4b9209837408e3c","datavalue":{"value":{"time":"+2007-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5421932$E4479687-8CFD-4624-8532-E99C02369014","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f29d919a9df1d801e879881b6f3af8c98f4a6b30","datavalue":{"value":"http://www.jucs.org/jucs_8_7/heyting_algebras_and_formal","type":"string"},"datatype":"url"},"type":"statement","id":"Q5421932$5B41CAE8-DC6D-4FB3-A7DA-7F7B6FCB33F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5421932$8FCD0B5B-EDBA-47EF-BAAB-3675C4401607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5421932$E19B1AF4-7F66-4106-9633-4849D6389FD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da128db25b88390e68bc8a483661a39353872e53","datavalue":{"value":"5205069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5421932$4B2D7745-F78E-41C3-B601-CB6F4CE53B6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5421932$FF790CE8-6889-4010-A57B-1C865B1FC648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5421932$06F8961A-14F1-4130-8494-3FBFF7A6FA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5421932$941CD173-C82C-481C-B353-29F45675C339","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce11f4b3a69e8357fb668d5048be9658c17e247","datavalue":{"value":{"entity-type":"item","numeric-id":672828,"id":"Q672828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5421932$B5C9018B-A572-40E3-949D-28768CCE6104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ebff99eeb8491a02d6db5829740ad7a4f4e4bd0","datavalue":{"value":{"entity-type":"item","numeric-id":532123,"id":"Q532123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5421932$68903913-3BAC-4602-85E7-5DB34755C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfa9051a33e618ddcfe8cadcfd3170afacb6df6c","datavalue":{"value":{"entity-type":"item","numeric-id":1084872,"id":"Q1084872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5421932$5C2BA253-BF1B-47AE-A154-42625450D895","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":"Q5421932$F31CB471-151E-4D76-8568-29B087618A08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b9b5c934709efd014283e75e2a3c7e5bb1de","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59c64fae322c07479483247f954c70c0883abc5","datavalue":{"value":{"amount":"+0.7510169744491577","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":"Q5421932$91932B3D-580D-4B67-8067-97F061E7036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb259a68d2a865808f8173ec22e25d86e3e6b03","datavalue":{"value":{"entity-type":"item","numeric-id":763330,"id":"Q763330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f542d9603715378e897c20db41b2cae40da26c3","datavalue":{"value":{"amount":"+0.7477736473083496","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":"Q5421932$F416EF58-0928-471E-99C5-E80BE6EC01D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbeb9a49bbcce4a1f8cd4b40a1fa97403030d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1273837,"id":"Q1273837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917e4b42706b1353008529e96f9dffe506f1f92c","datavalue":{"value":{"amount":"+0.746086835861206","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":"Q5421932$97CB0EE2-6D99-4E0F-BC22-C3C6E1923B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add321626ef64219ba4123521de1b0297bfd42ed","datavalue":{"value":{"entity-type":"item","numeric-id":3816063,"id":"Q3816063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1590a9ce7371fe722c17faede08037cd1f66b3c7","datavalue":{"value":{"amount":"+0.7458304762840271","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":"Q5421932$A39F4EA8-F280-4D5B-B546-6369CE9FF79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fd57c4873511870e11c61a2b74a4680984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4870894,"id":"Q4870894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15066f8b1aab80715fc8d91feecc1cbf5c3ecf0a","datavalue":{"value":{"amount":"+0.7414278388023376","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":"Q5421932$BB8EE239-B3E5-4847-9B2E-F4E824ACD66C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5421932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5421932"}}}}}