{"entities":{"Q3455183":{"pageid":5234583,"ns":120,"title":"Item:Q3455183","lastrevid":58180785,"modified":"2026-04-04T03:23:09Z","type":"item","id":"Q3455183","labels":{"en":{"language":"en","value":"Duality and universal models for the meet-implication fragment of IPC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516033"}},"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":"Q3455183$3F19E764-339F-410D-B8AF-1525DC966303","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39683e3879c0d9c00ef49f9cb688f7cf88b83171","datavalue":{"value":{"text":"Duality and Universal Models for the Meet-Implication Fragment of IPC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455183$DB273D01-4912-4E18-9CBD-7D7AD3A429B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa6820165e16275e6b9d3ae288184900349a8b3a","datavalue":{"value":"1326.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$24CF9B63-8214-485D-971C-D9F0875DBADA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c701ef664f43503c857474c5c98972e0aa3c12cd","datavalue":{"value":"10.1007/978-3-662-46906-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$5BF40545-C275-4C10-AFF1-DC70438CFFAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$243C7B6A-AC85-4A8C-9700-63D6C3DD8FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada4956663a35079726d9fcaa761f75541fc5bc6","datavalue":{"value":{"entity-type":"item","numeric-id":280838,"id":"Q280838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$E872B4A3-646D-4606-98DE-4CBC9BE4CBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94f8ee36125f5afab5b4bc39a72d674d800a7d0","datavalue":{"value":{"entity-type":"item","numeric-id":390414,"id":"Q390414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$F0BAF777-06DA-444E-B82D-E9C4F181A1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$92C5E2BB-0E6D-44F9-B06A-AD687E3B6CAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$2551C621-33CE-4EE6-ADAB-5A8F9264A8D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455183$84DA622E-77DD-4F7C-A0D0-BD95C928CB08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"775ccea9f01cc97378f3e846f7e5512a127ae25a","datavalue":{"value":"https://arxiv.org/abs/1403.0710","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455183$42AF3549-F010-4EC2-A47F-4677C5E164DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$56E38DBF-307D-48A6-99F1-5720C31B7516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$5B12F81E-3E58-44D9-9339-27BAAE392071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$9E96BF6D-B7F5-432F-95F3-1C16BE957379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f56538d05cb280b3eba58dd720b1dde126f15ef8","datavalue":{"value":"6516033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$59E4F119-F22E-4D23-A2A9-57012F804D63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$7A1DA4D9-E2DE-47F3-90D2-470F32B00C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f9b6115196125d8bbfc147c690a4509dcd86d5","datavalue":{"value":"universal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$6BFECCBC-7D68-418D-8016-C37F2AD2C2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$369BCB6D-8D25-47D6-81B4-CC0249EB6B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$FAB2EE52-213D-4CED-808D-C76B71E69F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$C525059D-B907-4D06-A1C2-C4BEA6CD485C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7757dba3062d728089c82eb2957c937e1cb265","datavalue":{"value":"implicative semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$0D3A927B-A3D3-41F6-81E6-B5C2B45B485A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$7059C189-3383-40CF-AB14-76BC84E25A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455183$DBF2C8EE-1AB7-4A19-B490-9FA7532002B2","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":"Q3455183$CA73569D-B212-43F6-949A-D3BF781746F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cff4c5e3c02ebff76972e0bbf3a3e5637bf2443","datavalue":{"value":"W1535513325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455183$81096A24-76E1-41E3-9532-B1FD9333F319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09242c66e9de738abf006bc653cd2c2ed81531b9","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$6BF7E10B-F47A-4DF8-AB3E-E9D665AEE240","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":"Q3455183$BC7003EC-6DCC-4859-9300-6CD0825930CE","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":"Q3455183$FDB7DCDE-2497-4813-8473-8944D971AAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad167baa563b9fee329fefc3d5077f18ff6d622","datavalue":{"value":{"entity-type":"item","numeric-id":1942035,"id":"Q1942035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$D50781F7-E965-4E01-BA77-2D0D9CAB5B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$511419F2-6256-45A8-A043-44A3283D96BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$C84D25F3-4FC9-4F25-A952-7EB14827520D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30063d2699688d2edf5c1fbf012dbad6a80577e1","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$DAB76FF0-F512-4DA5-903D-11EB67332DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$6683AEBB-9B16-4A1A-86DF-7DF29D1F7F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$F37D175B-9FC2-4143-B28C-5E3841BCBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c4c11391c1c0aa5fd668b6cf5c7f82ad0a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1053098,"id":"Q1053098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$8951EE72-AB64-4DEC-B7F4-DEAECEC554D3","rank":"normal"},{"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":"Q3455183$79F70E7C-CB25-4538-B7DD-8726F0ADAE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$A1CF9418-5D00-4893-8A32-C6D4FA89066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b69ae82ce4b50f7614ea509b47229dc4677e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3455187,"id":"Q3455187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$6021683C-2D29-4817-B440-E3164576EA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65caf7669c7351926ef7737dc221b9aef57f412c","datavalue":{"value":{"entity-type":"item","numeric-id":4277651,"id":"Q4277651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$8CA105F0-771D-4F0A-A51B-BC31302F195B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6d8b6a94cdb09d13b659d7c17bd78e0072322","datavalue":{"value":{"entity-type":"item","numeric-id":3003327,"id":"Q3003327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$C018FD00-0F58-4785-BA2E-145CCF8699CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c84eee37fd74c0c97cb9f8fb0a1867d179ee39","datavalue":{"value":{"entity-type":"item","numeric-id":4347145,"id":"Q4347145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455183$5F1239B6-04C3-45BC-8517-30EE244B6AF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b1dfd4c2eb078bf9e5f08f63dab87a3eb46496","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25717f430aedd60c9bcc98eced3c08516bee5be4","datavalue":{"value":{"amount":"+0.815981388092041","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":"Q3455183$89AAA312-57FF-4E28-A8D8-2AF1A9218F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4ca61443eb814d62ba7167f11db3ba128c5506","datavalue":{"value":{"entity-type":"item","numeric-id":3712317,"id":"Q3712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0308af603c3a545edb4bac9b265a1b1739fb09ac","datavalue":{"value":{"amount":"+0.7700556516647339","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":"Q3455183$ED688B1F-3287-4E28-AC61-B152042AC7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe194b076115a80e9776a4afbd2357b70ba91d","datavalue":{"value":{"entity-type":"item","numeric-id":1577172,"id":"Q1577172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc012d02be8c74d85f166436dec3a6e6c37689f7","datavalue":{"value":{"amount":"+0.7681072950363159","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":"Q3455183$2912343D-B619-4A09-BFAF-4D84F403E1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed6149a0f9c7c14c335eec46afa3c88a4afe051","datavalue":{"value":{"entity-type":"item","numeric-id":2284497,"id":"Q2284497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b913bf2364e697afd7e4e41c4b0d7e7977769457","datavalue":{"value":{"amount":"+0.764663815498352","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":"Q3455183$1A927A27-DFF2-4D39-8CD7-59111B333F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515a1674d55a9ce8fa580b67c816079eefc03634","datavalue":{"value":{"amount":"+0.7506284713745117","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":"Q3455183$3FF1E387-ACA1-4142-80FC-5619995C1A9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455183"}}}}}