{"entities":{"Q3698776":{"pageid":5728682,"ns":120,"title":"Item:Q3698776","lastrevid":50362748,"modified":"2026-01-13T21:47:13Z","type":"item","id":"Q3698776","labels":{"en":{"language":"en","value":"A Descending Chain of Incomplete Extensions of Implicational S 5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922619"}},"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":"Q3698776$2280EF6E-A5D8-4835-91D4-C5F4F4B1609F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce26ca8dbd91d9b94e36b9a96d3a9ee6cc08657c","datavalue":{"value":{"text":"A Descending Chain of Incomplete Extensions of Implicational S 5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3698776$EBE895DD-B8E7-4C53-A8B6-00DBF1E0E62C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa1cc9e8b14177feefaac8f65120149031b33209","datavalue":{"value":"0577.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698776$C984754E-2055-479A-977B-1E5CD6F00CAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6b82b9079c2450783e93894264166058742523","datavalue":{"value":{"entity-type":"item","numeric-id":220719,"id":"Q220719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698776$A4E9F3CE-ED0C-4C1B-9E7D-101708582D88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3698776$1E25EE2E-68B0-47D7-888A-5F22B7CB1D58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3698776$8195364B-6241-4C92-86C3-DE465B85A78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698776$7B895EAD-FE59-4059-B216-F18077C03A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39af48c10b33e1bd725f6e22678f9ca2d63c033a","datavalue":{"value":"3922619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698776$A1FCA226-87CE-4F06-B5B7-F67C92EF843E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698776$D9AF33C9-3048-4F45-8511-736858432099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df37818f37eba74ff44d30763a615f381a50840c","datavalue":{"value":"strict implicational propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698776$4A926780-80FD-4D5D-A214-4E7BADBC5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698776$967D53BC-A140-4CDA-9AF8-E518FA56CE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ae11a83a19ddf38473e4541b755ad354d7f3f","datavalue":{"value":"axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698776$AB4021A9-8B68-46AB-A858-B0D76F6D178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b64447537e7fd444e74f8e5209f76f8828bd0f","datavalue":{"value":"strict implicational fragment C5 of S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698776$F98F2D0F-BA92-477B-ACFF-EBC83D0F3EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacc4e05dd354b4da3912c8b6ab7aa7b0cc713e6","datavalue":{"value":"characteristic matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698776$A4247136-27C6-44F8-B139-6FDB37B83409","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":"Q3698776$77693436-DD02-4550-91DA-21D2E2FFF507","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1400dae25555b8ad610b61729badfac8eb081136","datavalue":{"value":"https://doi.org/10.1002/malq.19850311303","type":"string"},"datatype":"url"},"type":"statement","id":"Q3698776$B564DCD6-DAB7-4AB2-B9BC-B8DDBE109BC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b464a445bea9b34aa1d63013d6c88c0d7574b7c6","datavalue":{"value":"W1981600097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698776$1E17E1CC-FB77-4CC6-8187-A99F31121566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28285fe3b56096b0501f2895771e7cde9b2a7fbc","datavalue":{"value":"10.1002/MALQ.19850311303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698776$733BF63B-C6AC-4FC6-962C-6EA93F651BB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebe8fbd0fa7628b2770a692d306a9aebce6c648","datavalue":{"value":{"entity-type":"item","numeric-id":4295212,"id":"Q4295212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683f83be559a5652c975e45fc67c6523f7884db0","datavalue":{"value":{"amount":"+0.8805955648422241","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":"Q3698776$DE267B8D-94F0-4F3A-98CD-8BF6C6891A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174973572bd3a7fea8f1cac37bcc534be25a0434","datavalue":{"value":{"entity-type":"item","numeric-id":1066883,"id":"Q1066883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683f83be559a5652c975e45fc67c6523f7884db0","datavalue":{"value":{"amount":"+0.8805955648422241","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":"Q3698776$2F7782F0-D46F-42BD-A86C-EA0E8479A30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ef274e82576e8d4f1cd77762db238ee6cbda09","datavalue":{"value":{"entity-type":"item","numeric-id":3491521,"id":"Q3491521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af05060166e1f7e602b8860fd53fc5ee0874a8e4","datavalue":{"value":{"amount":"+0.7798539400100708","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":"Q3698776$1591452B-DFD0-4174-91B5-0EC0CC28782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0e5c0ae949e34b88845e4eda6a0288d9a215d6","datavalue":{"value":{"entity-type":"item","numeric-id":1177647,"id":"Q1177647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7e2fda3edcf072c66dc3e4e457d31c269a1c39","datavalue":{"value":{"amount":"+0.7461626529693604","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":"Q3698776$1DC2C1E7-8D5A-41F7-9459-A2541B46904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602176a39ad1ad5829183620756797b3a8732975","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1465028f463f503e84ef7bc19558509afaf527","datavalue":{"value":{"amount":"+0.736758828163147","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":"Q3698776$2CDB1C50-C071-4E13-9D25-8A29FDD085D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698776"}}}}}