{"entities":{"Q2318265":{"pageid":2329008,"ns":120,"title":"Item:Q2318265","lastrevid":57849051,"modified":"2026-04-02T19:17:51Z","type":"item","id":"Q2318265","labels":{"en":{"language":"en","value":"Variations of the free implicative semilattice extension of a Hilbert algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7094127"}},"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":"Q2318265$963A1358-B7B1-4B14-8694-C336244B944E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67f25372e2b81184da5be4ac421b5cb77b7ab5a1","datavalue":{"value":{"text":"Variations of the free implicative semilattice extension of a Hilbert algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2318265$8916414A-7FE5-46B3-813E-738392696960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead60b39494dff6fd9916ea0a75125e4a974f2d6","datavalue":{"value":"1418.03187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$30453182-D3F7-431D-8A94-4E403A578E5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$4B7D3CB3-D1F1-4612-94FA-864293EE7AA0","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":"Q2318265$C92371EF-001D-4C9A-86B6-14BCFD06C9EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3bd4fd2836f62a47c63b356f58d39447dba30be","datavalue":{"value":{"time":"+2019-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2318265$5FF951F6-6C6E-47D3-9642-B8054D0B504F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db6bc9c8af9d02fcb927a44658e9966a23790692","datavalue":{"value":"https://arxiv.org/abs/1807.02423","type":"string"},"datatype":"url"},"type":"statement","id":"Q2318265$B2E933DC-2A58-46CE-8257-E8A65C7B15C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a8ae282689f5b7446b388d212aaeed86ff384d","datavalue":{"value":"http://hdl.handle.net/11336/94687","type":"string"},"datatype":"url"},"type":"statement","id":"Q2318265$C900D7C1-9C18-4F2A-8CBB-CD6A3830AFF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$28203778-54D1-4E3B-A8B6-1959F027C603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$C17585F9-2390-40CB-B13A-9794A0FEB50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$7D9A8056-F23A-4696-9646-CE3CF9D92BB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4701af1b507f9e207f5d0a3f9bb98476ff5edd1","datavalue":{"value":"7094127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$3D966030-71EC-42A5-8A62-AF9715C4F8D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318265$250D25D1-44B9-4740-976C-24C59CDDBAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e8127f4e508cb5835952466e7c685640b1c1af","datavalue":{"value":"implicative semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318265$4E27F3CB-410F-497B-A13B-858BCD91DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2318265$14470F5D-B2DE-42B5-BE5C-74FC22B47C44","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":"Q2318265$24D2E268-E6F6-4A18-91E1-386991471626","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cd296bc2646b52eeca2f609ec3d6c7cc9d9c674","datavalue":{"value":"W2869383454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$A0CA7267-D88A-4E0E-923A-925663092D18","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":"Q2318265$8F23A65A-0244-4166-807B-19F338180919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$37E5509F-732E-4636-93FA-5E554DEA9B2C","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":"Q2318265$61455AD1-47B0-4F97-A457-50A3ADFB466C","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":"Q2318265$C78171FF-1EE0-4776-80DF-F774646DDDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14a5df61630ed429a519e47fa20dc0b0338af0b","datavalue":{"value":{"entity-type":"item","numeric-id":1040223,"id":"Q1040223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$6CCCC40E-9F1F-416D-8684-BDE6E157C172","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":"Q2318265$49C21B8A-0229-46B2-AEFE-16D10C695FAE","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":"Q2318265$4672D960-45B0-4227-A2E4-E5AB18349E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bb7b8df40958defd323f9c5627eff50c2d32f4","datavalue":{"value":{"entity-type":"item","numeric-id":422345,"id":"Q422345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$57BCF546-4EDF-4333-B536-D8592232A568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc554ac8e1048c1c60d22a48db71fa28c86fd705","datavalue":{"value":{"entity-type":"item","numeric-id":3024391,"id":"Q3024391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$65CE7570-D2AF-46FC-B163-2DC1DDE20361","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":"Q2318265$C907D9B0-B598-4B95-BC95-10A594B2FC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f0618aa356738efc86f3c34aaca8fcb931ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":636384,"id":"Q636384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$9B10FE2F-99F7-4439-AEF5-8E2F7C814CCC","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":"Q2318265$E9E3F394-F3D3-44EF-A76F-A3DA440C75E8","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":"Q2318265$F70DD656-C1B5-45E7-8838-421FBD5F7645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$419ABBF5-3B40-43DE-A8A4-6E0C4E51D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce6995ac34171bc4071708758d98d9c31dd386","datavalue":{"value":{"entity-type":"item","numeric-id":4692073,"id":"Q4692073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2318265$EEBF22F0-8ECD-48F5-AB61-8A2D31D413B8","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":"Q2318265$2FCC64D1-2FA1-4C02-A368-B38224EBDF18","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":"Q2318265$AA9EAAAB-0724-4FC0-B60C-5D7813B538CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9f7f6fcf9539d57739a998ab817346c5a2cc099","datavalue":{"value":"Q129478345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$2A39FB54-19CA-4D40-A418-02DAE15E4446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a113a64287dca46ea4e740ccba43b69ee8540963","datavalue":{"value":"10.1007/S00500-018-3426-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2318265$88AF8CD8-EECC-4792-B206-A2E5F63AB109","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fa1c03d156a24857d3178544cd74e40367996f","datavalue":{"value":{"entity-type":"item","numeric-id":2888632,"id":"Q2888632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956457da0ac632c0983c813faa0b371f2d53e62d","datavalue":{"value":{"amount":"+0.8511733412742615","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":"Q2318265$DC5469F1-28F1-441F-9D48-EA27DADD1BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1623c4d0531a1d9e2c978bdd740f55b69fca5f1","datavalue":{"value":{"entity-type":"item","numeric-id":2379262,"id":"Q2379262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a63444f5492cc861f9015feb9eda717d478a21","datavalue":{"value":{"amount":"+0.8508415222167969","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":"Q2318265$D3B76441-C4D6-4411-95F2-F27DB8314AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd431e8b574b546f0fae253e8d3fc2f53797fd4","datavalue":{"value":{"entity-type":"item","numeric-id":2847082,"id":"Q2847082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b8f07b948bac4f2cf09a14b92f9fd06b45bd1a","datavalue":{"value":{"amount":"+0.807212233543396","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":"Q2318265$C562FDB3-651D-407A-85F8-9A20F8915C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a442a04cd46085a7afbad46c85b3fe0823d197b0","datavalue":{"value":{"entity-type":"item","numeric-id":2035276,"id":"Q2035276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d19cbf82b009ffd4fa0d5c519764761749bce5c","datavalue":{"value":{"amount":"+0.7856600284576416","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":"Q2318265$782C81A5-555B-456C-A012-5A1302DE89B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfe895c712bb6204c5c1dbedae52c236c771814","datavalue":{"value":{"entity-type":"item","numeric-id":3703895,"id":"Q3703895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3172121b4fdadef5fdef9aa76811b2d5b52bb4","datavalue":{"value":{"amount":"+0.7844519019126892","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":"Q2318265$85A765A8-B11A-4B0F-BFC7-95578E7A6E93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2318265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2318265"}}}}}