{"entities":{"Q780272":{"pageid":782121,"ns":120,"title":"Item:Q780272","lastrevid":53772251,"modified":"2026-01-25T17:01:32Z","type":"item","id":"Q780272","labels":{"en":{"language":"en","value":"Algebraic semantics of the \\(\\left\\{ \\rightarrow ,\\square \\right\\} \\)-fragment of propositional lax logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220826"}},"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":"Q780272$39F0E0BC-FFF5-4D37-BCA3-C6F65E676251","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2af0f609336b238d0bc9701989a3bc9eb03492d","datavalue":{"value":{"text":"Algebraic semantics of the \\(\\left\\{ \\rightarrow ,\\square \\right\\} \\)-fragment of propositional lax logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780272$8FCC5044-0234-4D12-B462-34FE9CA52E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0b2d282f5efc7582e710d6cf610e120b29dcc7b","datavalue":{"value":"1437.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$7D3E4DD1-BA0E-4475-8E81-BB84123A563C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ae76423dc2e5c4b626d6c8a6c5bb34a9d6dd62d","datavalue":{"value":{"entity-type":"item","numeric-id":422344,"id":"Q422344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$7E06C1FE-6759-4B4E-BDFC-7F756B1BAC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$78943BA5-23EB-4E98-B275-9A8324D24C1F","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":"Q780272$20E790BB-6F2A-44F1-9C55-5C583C91348D","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":"Q780272$E27EB91A-63F8-4DF3-982F-6737DD39B794","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$46667D6C-33E2-44C3-8534-680352EBA7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$48127E5D-1A45-45AC-BBF1-43E256DA7771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$6AD3DA76-55C4-48D0-8ACC-F15483E8E9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$A86EFFDD-47C0-4276-A7EF-E18C66D3639B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cefb480c0a0f00b79ba6c8f0b110aa5241e0465","datavalue":{"value":"7220826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$03D41662-15C3-4F7E-82E9-3005AC9777FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q780272$EEAB5ED2-01BE-45E8-91E1-6538C952DE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q780272$A0CE2822-675F-4E43-9626-1C8779F7AC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3fed76338c95c3870b5a2c4da4dab5be95fc74","datavalue":{"value":"topological representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q780272$DD502B92-F3B9-4A42-ADA7-0D1E80307F9D","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":"Q780272$8F1DF404-2B25-43FF-BD0A-8FB39DAB2DD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93cc39c4d12d648a1c0c0fecd0c81313d1b9af9b","datavalue":{"value":"https://doi.org/10.1007/s00500-019-04536-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q780272$2006EF7D-E474-4C5C-AF90-4D7466A1BF18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3512927b972263936defbc82bbe1eb14cb56e511","datavalue":{"value":"W2991124533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$4BEFADA3-B9D4-4347-80DF-C347D6CEA2BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$BECB818C-FB53-4018-9E65-31E387E30CE7","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":"Q780272$CE1622CA-6D9A-419C-8EC9-7FF10B75F8A3","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":"Q780272$16E0608D-38B4-4A1C-9F7B-3ACEAC4BCBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02036a4f8c7f6a67beb6405744e99a54234c7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1419666,"id":"Q1419666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$DF8AE55E-9EC6-4B97-951B-28BB41032133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab18b9abb3dcf0155ebfd0b02b16b4aac9436bea","datavalue":{"value":{"entity-type":"item","numeric-id":2469035,"id":"Q2469035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$34C2E02E-2D8E-45BD-A7D3-C6EE439B768F","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":"Q780272$62BB4381-EDC0-496D-8C96-C9E5FC862B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75653f4cda606ff9983dff6fb599acdb110ba206","datavalue":{"value":{"entity-type":"item","numeric-id":5499650,"id":"Q5499650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$9C5BA5CD-85F3-4A04-8A13-6246283ED6DA","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":"Q780272$B3ABF8DB-60ED-4823-AFAA-4D743EF98763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$6D30249E-29F0-4B50-B04D-758EFBEEBB54","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":"Q780272$B5FEDDF3-31C7-4DCD-AB9C-340517D66226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5560a0769f8fb96f3b2e47431a6e003fda290fc","datavalue":{"value":{"entity-type":"item","numeric-id":3772220,"id":"Q3772220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$DA0DD926-C9DA-4830-9213-E310959B9FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$866131CF-4563-4A25-88D5-FF1A1ABF2974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$0A31CB3E-4888-4553-B107-AEF274A72AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$BA4C37A6-B323-4391-80E9-9B323345A419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$924FFF90-6A5E-40FF-A7AE-186392536697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae9371c4a516a76d0432a05098636fb7c7b3c91","datavalue":{"value":{"entity-type":"item","numeric-id":3103978,"id":"Q3103978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$4EE5DDF7-C066-497E-8C08-F2A5DA540EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d2c2cd0dffc5df821d849905f555f3f3ab3c2c","datavalue":{"value":{"entity-type":"item","numeric-id":3962971,"id":"Q3962971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$3AFF7B5C-47A2-4FBF-A50D-C86F38154D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e410b0342196b9a57a99e10bf61b541b0263c2","datavalue":{"value":{"entity-type":"item","numeric-id":1151916,"id":"Q1151916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$7C3BCE4A-3803-44B6-B9D9-D6A008E831B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71362079480d93d3ecd58839fa861d20c6f63f0","datavalue":{"value":{"entity-type":"item","numeric-id":3768949,"id":"Q3768949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$8F1FFBBE-454E-465E-8356-2016959A79A4","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":"Q780272$A8CBAE8C-D34F-4877-8085-1AD39C884A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1116b19c9afc8915dc056dd93345dc8bec8b72b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002522,"id":"Q3002522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$B2FCD4C5-665B-402B-963A-36CC16786AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185fc1f2e021d91db8a48e46955f261e932e07b5","datavalue":{"value":{"entity-type":"item","numeric-id":5525335,"id":"Q5525335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780272$5D237E9D-2A52-4531-A03A-2237005EA635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d01eef1e547e9ed3c885680cd7ce9c75739a4c7","datavalue":{"value":"10.1007/S00500-019-04536-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780272$589243A6-357C-4423-BCB0-B5C2391B8E9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ff2714c9bd50a4b63fb07985065aee42ba6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5499650,"id":"Q5499650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e7cc77f531bc2ee716fac97b9676257af3f830","datavalue":{"value":{"amount":"+0.7971676588058472","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":"Q780272$3F17EDA2-4FE4-4DC0-BBBE-968A9BBDDCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06c11e2a4229333f514d9b9ec626174b4abae54","datavalue":{"value":{"entity-type":"item","numeric-id":4474851,"id":"Q4474851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072d9fb90d3e61fe81771e09a4fc8d45c52da215","datavalue":{"value":{"amount":"+0.7564457654953003","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":"Q780272$930FE4F1-D927-4CCA-AF0A-C190481C9C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6cfd2b08a71bde88bca182d230c92155b81689","datavalue":{"value":{"entity-type":"item","numeric-id":2350975,"id":"Q2350975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820fbc771706a41689c47eb7a064327b8ad86bfd","datavalue":{"value":{"amount":"+0.7498491406440735","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":"Q780272$947B39AE-203A-4641-884E-DEEBCF07D944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ebf3a90550d67c236ae78719039991639f7309","datavalue":{"value":{"entity-type":"item","numeric-id":3103978,"id":"Q3103978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b8075ed427daa2ba5c11b4630978247bfff286","datavalue":{"value":{"amount":"+0.7407630681991577","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":"Q780272$F187A8AE-0674-47B0-8DA3-D1AA8FBB7FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567f7e9a03a118a2ac5c22d71d99d2c664a716a7","datavalue":{"value":{"entity-type":"item","numeric-id":3117777,"id":"Q3117777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f177b19c0198d3530003a80ac1e9ef7148913e","datavalue":{"value":{"amount":"+0.735073983669281","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":"Q780272$4C5EB36B-00F3-4B93-9556-1D237ABAE169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:780272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:780272"}}}}}