{"entities":{"Q780095":{"pageid":781944,"ns":120,"title":"Item:Q780095","lastrevid":64285140,"modified":"2026-04-11T18:50:30Z","type":"item","id":"Q780095","labels":{"en":{"language":"en","value":"On the free frontal implicative semilattice extension of a frontal Hilbert algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220574"}},"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":"Q780095$B54AA804-1FC9-4A27-859A-844165570AEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3816c65c3162828bdf307da07b88b382644bd8ae","datavalue":{"value":{"text":"On the free frontal implicative semilattice extension of a frontal Hilbert algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780095$B120C9E0-8AC2-48F4-A44B-BC40E5F553F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1016c559e6ca755985b8275817840d721a733980","datavalue":{"value":"1436.03322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$250D7244-A023-4806-8E03-B0C384406769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82afb292bf891852f5b53b1b9f9735fc6a064c8f","datavalue":{"value":{"entity-type":"item","numeric-id":218968,"id":"Q218968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$3880D00A-4183-497D-802D-DC76DC2211D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f21ce2810cf359b217225ea862e10a1ca99e11d","datavalue":{"value":{"entity-type":"item","numeric-id":266867,"id":"Q266867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$E23747CA-5421-42B6-8821-7580E8623334","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$A3403F80-ED6F-47EA-9677-CA61C6A4B1B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e350fc7c195d16f814c187ed9a5e8197e91de136","datavalue":{"value":{"time":"+2020-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q780095$2E94AC0A-B530-4481-BF47-6F44C6C9C61F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c1b79ce14f74467180cc13cbd13925a002bd2f4","datavalue":{"value":"https://arxiv.org/abs/1811.03698","type":"string"},"datatype":"url"},"type":"statement","id":"Q780095$3F422186-01E4-4E6C-ACEE-CCF71196BE22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$91311DBF-65CD-4D42-AAC5-33C41C19C0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$2786E77C-3040-4FD3-B9EA-81999911A628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$C93F4FBE-05CC-45E8-9375-EFBD912F7D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$1530836E-519B-40AF-9543-5A1DB7842324","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7baf295c2095be2e17a2b741c9d1fc3f758283cb","datavalue":{"value":"7220574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$92B46D74-A234-4B7C-B981-FE16899E5E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q780095$D2A4813F-8757-4145-82B5-768474EDC3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7757dba3062d728089c82eb2957c937e1cb265","datavalue":{"value":"implicative semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q780095$DF2DFD61-38B5-434C-8150-5BB9F8A5B256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q780095$5B362919-054D-40CB-8C3A-E30D95645175","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":"Q780095$7DE4B71A-F0CC-46B2-98F4-4B32527FC7A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"588cd717f2be29b7c4f9c078406c5965635f60e7","datavalue":{"value":"W2963204799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$5FC36B94-6EF2-4C34-8DA5-FBB9BDAA2C79","rank":"normal"}],"P223":[{"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":"Q780095$935DCE58-E32F-4039-A566-E5DD4465E518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7234ce5a736deb8e32f644f4ddc6917abbf47fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3708845,"id":"Q3708845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$1EAF81FA-C0F6-4FCA-960C-95D3D53D128C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5721827eec268271055a06859ef5520efc32b6","datavalue":{"value":{"entity-type":"item","numeric-id":3588666,"id":"Q3588666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$F194EB0C-9FC0-4ED6-BA96-BC66AC892DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$A6D61DBF-E4A1-4C10-B3CC-2928348A7599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f104d2c559a16620458821106552ffac0a34d1d","datavalue":{"value":{"entity-type":"item","numeric-id":1935558,"id":"Q1935558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$E5A947EC-9441-4C54-B366-01A7172F242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d0458741d36ec00c43580a18266a1153da377b","datavalue":{"value":{"entity-type":"item","numeric-id":4644510,"id":"Q4644510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$BFFB6887-F318-456F-B142-6E57F999AC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31502e73fb2f72d47fc5fceeca3e99c4ce500db6","datavalue":{"value":{"entity-type":"item","numeric-id":2318265,"id":"Q2318265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$C56F2904-7097-4A65-8A50-3E9C2FE7B76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d17becb178336b5fdf348b81a95a35ac9eff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$EB457DE4-5DFB-44C1-BED7-7D6C9CEB16CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee575ec6b1c5e65c66e239e915cade15c5b6a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1607811,"id":"Q1607811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$69ED78F8-920C-4064-8DC3-66F12D108D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b793d10a3adf9397121684f897cb1eb0f7d734","datavalue":{"value":{"entity-type":"item","numeric-id":2888632,"id":"Q2888632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$B8DC4E47-BE5C-43B5-A99E-240ED7D35674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$F88D5225-FE06-4986-A07F-E0306A7EBC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$6B3C4B61-5331-4C90-83B4-83F7F0461B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1447146e83d8e7b4da394c0bc504ce8e67e8cece","datavalue":{"value":{"entity-type":"item","numeric-id":1240220,"id":"Q1240220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$B6B05190-5DFA-494F-B21D-53E44C19DF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dcf00baa351885acddc340f482186a40d943708","datavalue":{"value":{"entity-type":"item","numeric-id":1943702,"id":"Q1943702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$B07E7CE5-3973-4932-864F-F5A55146F2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206a4680811134046a9beebfd7541c8e9d528a50","datavalue":{"value":{"entity-type":"item","numeric-id":2330057,"id":"Q2330057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$3BC207A3-1B95-4835-8D52-ECE250230DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$9C6A41F2-2E19-4785-8AB1-2DB6895ED1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$FF49BC91-1C01-42BC-B84F-E6FA34460628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$E248BC08-9177-444B-9902-FE75CDA8E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2d458089c007c8c0c501a9472e422b5147481f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$A6B5C270-9D98-42D5-AB66-5950D55927EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb76e1343edbf6a74360f01ff6e5d08154bf5d70","datavalue":{"value":{"entity-type":"item","numeric-id":3235799,"id":"Q3235799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$A59EFC62-F54B-4418-B655-E9DAB7C7A629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$70F11170-CBE9-4D14-B91B-C3039B2E1EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d96783542e30b13299bc873bfc3bb16d0fdea83","datavalue":{"value":{"entity-type":"item","numeric-id":2554344,"id":"Q2554344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$08612E67-E432-4560-AA7C-F9F2D5012E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa60003498c9fc51117edface64cf684295156","datavalue":{"value":{"entity-type":"item","numeric-id":2561614,"id":"Q2561614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$5F1685EE-B0CC-460C-935D-F86517F5F453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780095$C14631B4-E24D-498F-A041-584921BA156F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10b40060ac91bbddbb73dacaf6eb634246b82ebe","datavalue":{"value":"10.1007/S00500-019-03995-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780095$639236A5-4FE5-481D-945F-9704FB88E072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the free frontal implicative semilattice extension of a frontal Hilbert algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_free_frontal_implicative_semilattice_extension_of_a_frontal_Hilbert_algebra"}}}}}