{"entities":{"Q1745087":{"pageid":1755829,"ns":120,"title":"Item:Q1745087","lastrevid":70823700,"modified":"2026-04-13T17:29:40Z","type":"item","id":"Q1745087","labels":{"en":{"language":"en","value":"Slices and levels of extensions of the minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862427"}},"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":"Q1745087$E9F067BE-7DB5-4011-8855-BE6E84B56635","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4d86588720d6c4aaf6a6418839fb29b71b20fc2","datavalue":{"value":{"text":"Slices and levels of extensions of the minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1745087$D97CFD21-2042-4E0A-B6B1-A05909530297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5adf245c823077c038cb7f0571b3fdef0c78226e","datavalue":{"value":"1420.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745087$3BCBC6AC-E179-4358-B657-C04A610D7E59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da4866648009e3a139d18995ba7f67b5e4d51b11","datavalue":{"value":"10.1134/S0037446617060131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745087$DA789BBE-1A76-4881-AFF5-8ADCA285347C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$BB8C795D-921E-4A73-94C6-A8694A90D8AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e3e9e889e4401b37d32bcf9af4f161f7364a67c","datavalue":{"value":{"time":"+2018-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1745087$A426D646-B28B-4E0A-9329-09582DF417CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745087$AB56F2E6-2FF0-4371-B539-7B96221E73CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745087$422923A8-9603-4DD2-B365-E8BCFE26B28E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"839c27cd2ac5c1adf85c7c2ac62d0745afbd1a6c","datavalue":{"value":"6862427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745087$C0CECEA3-C4FD-41EC-A222-30A753C0D353","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745087$7D1C5B8C-588E-4B04-AC10-B4D73FCF8DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745087$38881686-960E-4323-BDE4-2DBEF2F2ACCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745087$FA194C26-CA48-49DF-9014-7B8560933F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e71294c7e41294c830e5dd175d41f2cbef8e91dd","datavalue":{"value":"slice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745087$E7CFBDFE-40A5-4586-B080-9FF1496BCC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10c1d15a531e2897f64813780935b3ed489233ed","datavalue":{"value":"level","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745087$5C21F093-B695-411A-A67E-B02F9D905E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3b7435bc984306275d7a3bbde09d4c81695e05","datavalue":{"value":"recognizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1745087$E4373EEF-8D5A-49B2-B089-BF58624293D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$8B53F78E-EA0C-4E87-8424-D11C810BEB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$8901F369-0D43-4FBD-BC38-7AF58D8A1541","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":"Q1745087$884FAA70-CE1A-479D-BCB1-40EDF4A33F0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$3B1BEDE0-2781-4055-A496-B4D6888B9DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff468da0683dc846bb461ab51ba3f070e1da3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2364334,"id":"Q2364334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$F73CDD0A-C688-41EC-AD72-8C0C6224CBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$898DB772-B028-4A8A-88F8-0EA4E453C700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd853c322992f28efa65dbfb9af8490f7f39000a","datavalue":{"value":{"entity-type":"item","numeric-id":511341,"id":"Q511341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$90581A5E-69AF-4FAD-BAF7-1D97DDE6BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03db5bea4c3a2c0b2333f655fd107271ecce9fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4521286,"id":"Q4521286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$C5AE5E18-2A01-48DE-A445-30C005CD9A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0a4977072d6f8937dcd17ad8c09aaa7c5ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$AD0CA320-9725-4B45-8080-C0812ADC237F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76ecd91067334967b0d7de67c1bf2a2ecd86ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1703280,"id":"Q1703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$AFA0E256-D426-42BD-95A5-3040B442606E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$C9BD0013-ECFA-415D-B76D-6346D27AB4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$068E272A-A9C2-49FF-831C-A85252CC4F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$49769694-BA4B-4FE7-9BBD-B5771E0B00A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91ec61c1c2e069ad77857747a99980d23202b0","datavalue":{"value":{"entity-type":"item","numeric-id":3546097,"id":"Q3546097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$76AC5B17-A041-4C1F-9E2B-2D1556BE7235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$79EF10BD-AE75-46C3-A599-023B36CC3139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ba7e5b02ac3c4672d6468085926cc0c361b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4803974,"id":"Q4803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$963D6A9B-1590-4DCC-A710-C6E8E20041C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$AA9FBCA8-E4D2-4203-A82E-135D85FED7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bad9cb0a93361a0b6b20f19bb003422156ee8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1937748,"id":"Q1937748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$FDD19818-07B1-417C-B280-DDAB0CFFE1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745087$ECC3F178-52E0-4425-979D-30D2BBCECD24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4ee47f02cf1201cef06bbc80f6c3559c965f602","datavalue":{"value":"https://doi.org/10.1134/s0037446617060131","type":"string"},"datatype":"url"},"type":"statement","id":"Q1745087$6ECC1782-073D-4C37-B018-F436BEE1BB0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f92b8a0262d3909cb4b475819a566067ae11203b","datavalue":{"value":"W2790472128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745087$1F901896-6A7A-4AB3-9EFA-7265A97FB0AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11efebd477c43998ea4774fb3b06fe05bbbf7a5","datavalue":{"value":{"entity-type":"item","numeric-id":511341,"id":"Q511341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7269b7c6087479b0008fc8094c31c9935e9cfe7","datavalue":{"value":{"amount":"+0.8970179557800293","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":"Q1745087$C4050069-44BD-4862-AB6A-3C41D5D62BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2474112bd234d250ac4752720ddb65211d803395","datavalue":{"value":{"entity-type":"item","numeric-id":2364334,"id":"Q2364334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc417740aa7762adf59808d8d36065c0b572629","datavalue":{"value":{"amount":"+0.8465446829795837","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":"Q1745087$B1F540E9-249A-404B-9BAC-698C2E0A9ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9beab08c49d5fd12fdecf6efa54939385f0907f8","datavalue":{"value":{"entity-type":"item","numeric-id":1707569,"id":"Q1707569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c0f06fcffc9fafa820e7368c81186d76eb0dd4","datavalue":{"value":{"amount":"+0.8257290124893188","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":"Q1745087$F847257D-0F8F-44E2-ACB9-51744E5398E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d987af9dec212e5538dfd6e2d95d52c0d073d19","datavalue":{"value":{"entity-type":"item","numeric-id":1703280,"id":"Q1703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620a48a3ea680fba7306f42ad364da4ecec198e2","datavalue":{"value":{"amount":"+0.823424756526947","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":"Q1745087$56A7BEDE-15D5-4FAA-B2A1-1324A1DC043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9868123c0b0088eea9318a063d449dfd30e1403","datavalue":{"value":{"entity-type":"item","numeric-id":515492,"id":"Q515492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e24c3671041f63249736730bf7457c9083af2e1","datavalue":{"value":{"amount":"+0.7746665477752686","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":"Q1745087$8D7F60EE-EFC3-4B73-B397-58F708A004E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Slices and levels of extensions of the minimal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Slices_and_levels_of_extensions_of_the_minimal_logic"}}}}}