{"entities":{"Q1711508":{"pageid":1722249,"ns":120,"title":"Item:Q1711508","lastrevid":72210813,"modified":"2026-04-14T03:21:54Z","type":"item","id":"Q1711508","labels":{"en":{"language":"en","value":"Diversification of object-languages for propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003157"}},"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":"Q1711508$94DBF30B-4A7E-4D14-952F-A79B89A17004","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"415116742198ee7a5f6befedd435e59e47969736","datavalue":{"value":{"text":"Diversification of object-languages for propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1711508$7105BD27-6C7C-4B35-9BBF-84E30D941820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$86D40DBA-F2FC-4DEE-BC04-5ED8894543D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$6BD372BF-AEA1-45E7-B755-855B33C1FE49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"747197e4015a1deb11c07fd7cd714000206e1f10","datavalue":{"value":{"time":"+2019-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1711508$813B75BC-777B-44D3-87BB-111F79C66369","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711508$B5D961EF-3C39-4D74-9012-18ECBBFC5CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711508$FEDA1A6D-E749-4123-9242-B1F94EC02F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d03c250031d92c81b48b88ba711c1a28c24c8659","datavalue":{"value":"7003157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711508$7AFB72D3-C16F-4D35-81B2-56A05DDA28FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fd7cdec654a62fc56d2c1dc14928dbe4827ef7","datavalue":{"value":"freely-generated syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$F9C0A90C-8D18-4A40-93F5-0292C5B97187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37fb09d949b0893926d9f60c6013872f86286829","datavalue":{"value":"diversely-generated syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$7C76E88D-292D-4B2F-95F4-B0F2F2F77555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7be3b58567a1ea79bf74f69604bdcbdaa2055b","datavalue":{"value":"Gricean maxims","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$19722BE5-A7D4-401C-84D7-CB8B62D160EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b706bc8813103844e90ddb4f78edc1800dd816ea","datavalue":{"value":"identity of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$ECDD49C7-4B64-4CCD-B31B-A925B5F596D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b59130596941b9fc7fbe632c5556724cfd4fb52","datavalue":{"value":"logics of grounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$F48F588E-84FB-498B-ACB5-DD3A12274B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0394b6a4d5197917a6fbc45ff4c75d33466748e1","datavalue":{"value":"relevance logis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$D3FC0008-EAFD-4968-B0D4-9717FAB864CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f213c9e9a1b662b567631c466919a9f873cb0e67","datavalue":{"value":"self implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$44A024BB-919C-4D5B-BD44-EE8E150CBB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a81fe31a0b0b33ad580c15f90c177a0215e363","datavalue":{"value":"mingle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1711508$C3FA6E18-2EA4-4C0E-A1DF-9A1444D2471C","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":"Q1711508$5673C41E-BE97-49D6-A743-503431877EC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"915978f604a664bde2409a7c9594f33b68eee61e","datavalue":{"value":"https://doi.org/10.1007/s10849-018-9266-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1711508$4FC191CC-81A9-43B9-BEEC-D03E7E8E93A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee7270b5c193982b9a08023e73837b4eaf1bd19d","datavalue":{"value":"W2788370193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711508$17213E13-3948-43EF-B55F-580AB95A7C39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4ebecf56a46a95598fe002ac5425145e3f1628","datavalue":{"value":{"entity-type":"item","numeric-id":3520839,"id":"Q3520839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$AD0D25A1-4AA0-4C9F-82A3-8851CA56DD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$5D6B6DEE-8506-4F95-AEB0-B6FC375D4D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec66ae5e25e6ecc884c1ac85afec009ec34c7ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1198408,"id":"Q1198408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$723F571A-08E1-49BB-8BF9-8B7C4CE20262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c5b54f92874d9afc5a5317193d2545b6af04c","datavalue":{"value":{"entity-type":"item","numeric-id":487555,"id":"Q487555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$4ADC0D77-712B-46CF-B64A-10A21B4DA893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744f80a04ed914640d9e56d8320d654006aa9b10","datavalue":{"value":{"entity-type":"item","numeric-id":2548597,"id":"Q2548597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$E35F071A-0330-49DD-93FD-CA71D58967B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7163d8de1692df4de55e5b43a5f6074ea75b371c","datavalue":{"value":{"entity-type":"item","numeric-id":2940865,"id":"Q2940865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$22B6D77A-1290-431D-AA12-038BCEB8D814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781aa5ae19cb768fb8a597e9128d325181357fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2804475,"id":"Q2804475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$5FED8486-0EC2-4475-BC0E-FDD77F683CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4100701a1c0bd07f13ac088d0ffb7044447efb12","datavalue":{"value":{"entity-type":"item","numeric-id":5802152,"id":"Q5802152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$19CF9A83-165E-4930-9AF8-6A63C9BB7CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a279cefb23e2852d4c3a0d552e3ae39abd40b15","datavalue":{"value":{"entity-type":"item","numeric-id":482472,"id":"Q482472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$3B67C6F9-4B3B-48C4-8BA6-D570F3B73FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$76EA5384-F22B-473F-92F6-90268F1E064D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$79A2C36D-AFD4-48E4-AC2F-32346B7C2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a508b01325e596d10cc3cd09f6010534877e9b","datavalue":{"value":{"entity-type":"item","numeric-id":513936,"id":"Q513936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$A9B8BF6A-650E-40F4-BCAC-8DCBE3087DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4489cb413fe7e24b74fa900c13fbe2db3208a6","datavalue":{"value":{"entity-type":"item","numeric-id":312493,"id":"Q312493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$793E1FF9-B89D-470A-A339-8F1C6C912E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e776a8424007b7fa5e45eaf6b86db6d5025cc6fe","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1711508$A6981E63-4F0B-446E-BEE7-685DE576E3CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a4ca69f7843c95593b41170f74d988050004dbc","datavalue":{"value":"10.1007/S10849-018-9266-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1711508$30C73A03-F122-4EFB-8C1F-57CC57E7F452","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906280411292f7d7ae65a58a3d97379b3b9e54c0","datavalue":{"value":{"entity-type":"item","numeric-id":2754049,"id":"Q2754049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a088712fc3e4f902d2c32a9bb80fde95910fd0cb","datavalue":{"value":{"amount":"+0.8848633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$A717A6B0-595C-4268-915C-CC3625678DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd263da95997ea9a6ea4749cc81e015365ae4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3318103,"id":"Q3318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed3d2794f4ee132dc2ffb8897c5893d7b86e2ce","datavalue":{"value":{"amount":"+0.8788719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$F5E8E049-5B39-4DB7-8964-28DB6A021437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed69deb6b33d43a9fe033c2121cef167cfbb0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5481596,"id":"Q5481596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb8a85a3489cb66dec3b5d1263b067f3b3b3037","datavalue":{"value":{"amount":"+0.877606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$CA716144-BB37-42BE-B257-EF2089810B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d8abc9830180e9f98bdccc10033b3141909948","datavalue":{"value":{"entity-type":"item","numeric-id":1434358,"id":"Q1434358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd02d6db9bc67d9b4082c5c28400fe2cc3233152","datavalue":{"value":{"amount":"+0.87620854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$A66EBBD9-BBD3-4838-851E-92A6EEE67FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ba3038fd3db031e5d33c616f57d63ef877e453","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28537e06304cedfb3f1aff72a1e577dd28cef107","datavalue":{"value":{"amount":"+0.8696257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$DB3B09BF-F05B-41B2-8B92-4E1E96FD9B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0257ad22f725b477ae43f1a68278b432eb395209","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2e69445bcc6af7141aa64b6e0b50ca34946150","datavalue":{"value":{"amount":"+0.8689502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$41F6EE98-E089-42CB-92C3-A403CF5F5D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de91978f3bee627d9397ba4e7f7adcccc5c5ceb","datavalue":{"value":{"entity-type":"item","numeric-id":2909148,"id":"Q2909148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b654f9085c65c6dd90630cdb9fc56245ccfdf8a7","datavalue":{"value":{"amount":"+0.86819416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$F1A84E12-8147-495C-9DAA-309702DE0D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a375767e6fbec090f43fdc0f0dc7705ec02630","datavalue":{"value":{"entity-type":"item","numeric-id":3712311,"id":"Q3712311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18349c106f897bbb22d263705d3f9800fc01fd82","datavalue":{"value":{"amount":"+0.86317456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$A3847F76-AE9D-4A4A-A96C-1963C2C4E02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bba656812661017dfc258095a6e5818354aba7","datavalue":{"value":{"entity-type":"item","numeric-id":496327,"id":"Q496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057c09d32cb51739cb72a49db072c5dead03e411","datavalue":{"value":{"amount":"+0.8629923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1711508$AA81448B-8E88-4D9B-82F4-AC67B40E9F3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diversification of object-languages for propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diversification_of_object-languages_for_propositional_logics"}}}}}