{"entities":{"Q1707569":{"pageid":1718310,"ns":120,"title":"Item:Q1707569","lastrevid":53053241,"modified":"2026-01-24T03:20:38Z","type":"item","id":"Q1707569","labels":{"en":{"language":"en","value":"Strong computability of slices over the logic GL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855311"}},"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":"Q1707569$7C786C36-7F84-407F-B944-F92E936D803E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23b29ee84671e3769fd83381d0bbf2ff71ea59ce","datavalue":{"value":{"text":"Strong computability of slices over the logic GL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707569$5704CF10-6A9E-405C-B5E7-767980C51A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b725dd4b7a063136ae62af571dcfb8c36012364d","datavalue":{"value":"1397.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707569$77C63900-F2EF-4B97-B595-A933A51B99A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"044c3d30173927c1cd7cd50cc0a2fbfba9e11681","datavalue":{"value":{"time":"+2018-04-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":"Q1707569$19116FC2-D3AE-42E0-82E1-310D077D3A3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707569$FC1F3875-D3E0-488C-A78E-9DD639C8465B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707569$3A0BA148-7C7B-463E-90A6-AFFDAFED6B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45b984d38dc258913499492fc6e365e6bee768c3","datavalue":{"value":"6855311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707569$7143C737-1071-42EA-98C2-164B371520EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707569$1B360486-B06D-43CF-BCD5-4CE98134C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"449c3075e5324ebde5e67e4e5ae10398902b0c8c","datavalue":{"value":"slices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707569$DAAD7D85-2A16-406B-B210-5F45257813EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707569$B1AE2639-A7A0-47AF-9C94-223266643EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707569$1D12823B-4906-4850-8843-42427E263014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3b7435bc984306275d7a3bbde09d4c81695e05","datavalue":{"value":"recognizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707569$7DB98FDD-439C-4419-B709-A790EB053C03","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":"Q1707569$165676A9-1459-45E4-805D-5C53D8D385D7","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":"Q1707569$2F3B6B4B-7096-42A3-A5FC-5FF505C90301","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":"Q1707569$1D453EA0-1F4F-4FC4-9ECA-E42C932870DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f8026d6d36c85fb5705e10032bcc9b9c7f23937","datavalue":{"value":"https://research.nsu.ru/en/publications/%D1%81%D0%B8%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F-%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C-%D1%81%D0%BB%D0%BE%D0%B5%D0%B2-%D0%BD%D0%B0%D0%B4-%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%BE%D0%B9-gl","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707569$FFC0AA56-43B2-4039-928C-767C81E6F83B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec0df3cfc9fcab95ecf36d55cfa2700cf37d725d","datavalue":{"value":"W3174714985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707569$11A70464-DB57-43C2-8394-C181DF2AE208","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":"Q1707569$3E726ACC-5963-4234-B792-FE48CBCA0D24","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":"Q1707569$77EEC252-78EA-434D-A2CF-36D04D3D0A73","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":"Q1707569$9E111568-0F0D-42EA-B13D-329F990CF787","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":"Q1707569$28916751-F248-4080-9DA4-9F55152C9D15","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":"Q1707569$8D72EFC8-8FA4-46C6-9479-700C0514EEE1","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":"Q1707569$51945673-47F4-4C09-9994-636E195FA554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e2bc88537d90c9d8d3dd11bd002b301757d452","datavalue":{"value":{"entity-type":"item","numeric-id":1745087,"id":"Q1745087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707569$BC578E58-D99E-42A7-91E9-E8706DD9EB40","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":"Q1707569$367CE950-10D6-426F-8F09-42A806FFCB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e0eef98c90ad305d54fea157c1976ef3c37c77","datavalue":{"value":{"entity-type":"item","numeric-id":647415,"id":"Q647415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707569$8A46D87F-30CB-43C3-88FF-D94FB2368822","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":"Q1707569$64AF5A80-9D9D-49B8-88D8-B4D3116921D6","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":"Q1707569$3BD06C8B-7D8C-4107-A93A-268FA38B27B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23689b471bfaf807b3a843de4117992743111403","datavalue":{"value":{"entity-type":"item","numeric-id":5682311,"id":"Q5682311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707569$E4F1A2FC-0E4C-4313-A06D-29EB2284DA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707569$A3DD512D-203D-4382-9EA3-363A5756B257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"685c49cb7762d059c732486d3f6e1c0ae7e43468","datavalue":{"value":"10.17377/SEMI.2018.15.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707569$CDC59A94-9EFB-4ED8-9A4D-CD7F81F7FD90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707569$EBD4BAA1-D3E5-49FE-9BE9-C889C7BB6AF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37142ebb936cbd1a77688a534367f1b5547e275c","datavalue":{"value":{"entity-type":"item","numeric-id":1745087,"id":"Q1745087"},"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":"Q1707569$27E65EEF-06A6-4D23-8291-4F9C90400387","rank":"normal"},{"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":"d995c0cfcef7ba776dfc1c149fd8aa3947cee401","datavalue":{"value":{"amount":"+0.8209758996963501","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":"Q1707569$FA36D7AC-7BC1-4011-AC1A-FCDAFEB7F3C7","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":"932e37eda18bbe68dc0889f8ac203ec303524b90","datavalue":{"value":{"amount":"+0.7988206148147583","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":"Q1707569$A83FC9F7-28D6-4E23-9A8F-D686A22C1209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9efd4c5931241b71cc2371d2e3ceb5535ee6e2","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4f0d5521f1d179e15f041d80df743049e82cd6","datavalue":{"value":{"amount":"+0.7365916967391968","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":"Q1707569$D3C0B133-9EF4-46D1-A0D3-CA966964595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd89ed330130753bdfba150a823a332d57f5c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4521286,"id":"Q4521286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1afc258f7196ce4a579f4da724f3a8e2f0adade","datavalue":{"value":{"amount":"+0.7291235327720642","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":"Q1707569$3E52B284-8657-4D51-BFE3-9C231D47569C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1707569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1707569"}}}}}