{"entities":{"Q2765566":{"pageid":2776305,"ns":120,"title":"Item:Q2765566","lastrevid":83151992,"modified":"2026-05-07T06:20:30Z","type":"item","id":"Q2765566","labels":{"en":{"language":"en","value":"Construction of an explicit basis for rules admissible in modal system S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694861"}},"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":"Q2765566$51D7D1A3-B033-42B5-823D-A366654971F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"679d4f98acd8b3d716bfa5ac7ba1d4ef8a406a17","datavalue":{"value":"0992.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765566$8C15A944-6D93-4C54-93F8-A9E7B4A73FE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765566$9AE1FF10-8DFC-43AE-8F51-68637E26122E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765566$D51581B8-3941-4ACE-9BE8-62061CA3C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765566$0B5F2626-D1C0-48F6-9931-1DF39F7E164A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99aaf0cb211608b10971c7ac092ae1eea1008046","datavalue":{"value":"1694861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765566$6CB11CAD-725F-40D0-A7AA-7A6FB5CA75AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6594d44baf4786e89227cc86f28e5ec07efcd4d1","datavalue":{"value":"admissible inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765566$2037ED3D-3584-400E-B6F5-9D240D1303B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e5df3f6a1817ac208db8dcddf3e5ef3c988520","datavalue":{"value":"basis for admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765566$A75038C8-AD71-4D61-BBD4-46F7436EBF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62efc9274ffc3163afa2d83c8a108cf0b2a9dd8","datavalue":{"value":"basis for quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765566$372F997B-20A8-4634-85F3-655E47D541C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765566$96A21CB9-62D2-4486-982F-ABE9FD35DE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23f7b92f6396295e72cb0db9d3b3e0d1544c829","datavalue":{"value":"free modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765566$F12B749C-752B-4804-A2D4-5CD9F52B7DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765566$29A48FB6-D5C4-4613-B58B-2FA77B06DA52","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":"Q2765566$3E408AB8-86E2-4927-B2D9-9C14CB59653D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa5f48fdbdaae63a6c1d6372915e55be939cd8e","datavalue":{"value":"W2080542786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765566$FED06B92-488D-4E48-BB36-F2B8BCB7C8AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da7434cbc5c78720de197761a70553ae1dbf6c4a","datavalue":{"value":"10.1002/1521-3870(200111)47:4%3C441::AID-MALQ441%3E3.0.CO;2-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765566$8A72D12A-C1C8-4554-AB40-4F97B82DE40E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa77d03b44fba5a434ef5735c4d077e06674806a","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200111)47:4%3C441::aid-malq441%3E3.0.co;2-j","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765566$92D64262-09EB-41EA-8C4D-34300A19C9B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"629a02fdd9d88bc0f76d30320d568c0903918ad2","datavalue":{"value":{"text":"Construction of an explicit basis for rules admissible in modal system S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765566$5D662EC2-BE93-4662-B31F-D97D36A35B40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765566$C0E8D15E-C03E-4014-BCE2-12282CF8031C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64f1438641c838e3b11247dbb717f5b9265bbc1","datavalue":{"value":{"entity-type":"item","numeric-id":4917379,"id":"Q4917379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5689990725610333fb44c4fc7876735a82c7ee","datavalue":{"value":{"amount":"+0.9222837090492249","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":"Q2765566$B147BDD0-C302-401B-85C4-95D26A049111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52153f616c8e35e9523cf64f1fd11712d01fa37","datavalue":{"value":{"entity-type":"item","numeric-id":4966006,"id":"Q4966006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1dbad9f3afd71454b0329ae134cc2cc44e83c6","datavalue":{"value":{"amount":"+0.8702554106712341","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":"Q2765566$FAF22376-8A93-49DB-BA37-0E523B61BD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de6ee1a7a42e494fb603370306b0977dd949761","datavalue":{"value":{"entity-type":"item","numeric-id":5391601,"id":"Q5391601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1956994a13e641178c322b3b21645d327934a8","datavalue":{"value":{"amount":"+0.8688811659812927","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":"Q2765566$2C640ACC-4628-414B-A8E6-01F9F4254CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79e9fc4d4c24197a362f8a14a15f8e6b2f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20512c937a7fcfe905ef20714a0204836c8f4ad2","datavalue":{"value":{"amount":"+0.8604092597961426","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":"Q2765566$35E2742A-1AA5-4A91-BEC3-F7A1F4D30952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ad2542ddf904ffe637668b994a7a46a9f3125b","datavalue":{"value":{"entity-type":"item","numeric-id":1320690,"id":"Q1320690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a518cb709b6a7736beab90fbe89252845d36349a","datavalue":{"value":{"amount":"+0.8300725221633911","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":"Q2765566$67BD1F03-ED98-44AA-8C80-0706C7A59C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of an explicit basis for rules admissible in modal system S4","badges":[]}}}}}