{"entities":{"Q1319366":{"pageid":1330116,"ns":120,"title":"Item:Q1319366","lastrevid":70132056,"modified":"2026-04-13T12:39:33Z","type":"item","id":"Q1319366","labels":{"en":{"language":"en","value":"Formal systems for modal operators on locales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549800"}},"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":"Q1319366$9C927BFE-89C1-4D50-AEF8-CF3181557BF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"793ec4d5f6aa3dd75ef843bb63bf905dd03cdba3","datavalue":{"value":{"text":"Formal systems for modal operators on locales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319366$4441DE5E-01BD-4D43-9352-5048ABEB881F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6649f7e17106cc87aabcbb7937f52016e5bac77f","datavalue":{"value":"0798.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319366$AC1237BD-8740-4002-ACFB-5637DDAED5C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d039d01a29570503f68c68c60b185ce0f287b388","datavalue":{"value":"10.1007/BF01053262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319366$DBD526CD-D08F-407D-89B7-31B98572D1DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b75c548f9342a1b5ea4c2668cdcb0a3c80c81df","datavalue":{"value":{"entity-type":"item","numeric-id":790923,"id":"Q790923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$672B057C-886B-4B07-82BB-F13C7F379B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$00480BD4-CCFA-4060-8E98-239FA1444F8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$4B457B6A-A7CC-4FA1-BD94-DCFAA3738D5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1319366$BFA5469B-9762-4BE5-BD0E-C433210F3E7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319366$2F6D1557-2807-47E4-AA1B-B23958FB730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319366$A7FD34E2-67B3-45DB-9B66-C97F714B52BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319366$47E0BD80-5B0C-4951-8ED7-9BA11258AB42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d32da22bf36f3fe557f3169ba5a3adb12dda37e","datavalue":{"value":"549800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319366$45515D22-9E8D-42ED-B658-55990300BF9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ecf86bf2a58b850d7552edb5edd3a7863efb3f","datavalue":{"value":"modal operators on locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319366$46652D1E-FBFB-425B-86EC-F8FC2FC4DBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319366$05A48EAD-83E9-4280-AECA-3E73572FB264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319366$176FEBF0-CD61-49C1-9702-FC4A3377E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319366$CD27D5AF-A9AC-40E1-884D-C43A61F95667","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":"Q1319366$8E238B5B-49A6-44DE-9639-9EBA8F63416B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$6D72C5CE-CB65-43FB-B5E7-3E759F5905E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$116212F3-B50A-440E-9967-531C1162ABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf083bc541bf0c234dcd141ce046a20f00fdfad","datavalue":{"value":{"entity-type":"item","numeric-id":1139120,"id":"Q1139120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$D378E93A-57A2-4A02-97E9-8F268D936223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45f1c96d8d5e83a76092b46210c58cc4fad1553","datavalue":{"value":{"entity-type":"item","numeric-id":4735194,"id":"Q4735194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$9CD6675F-7470-4706-BD99-8AF18451921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$CB4E5121-82E0-4813-8F7F-1F1AAAC4102E","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":"Q1319366$333A0503-F410-4884-AFEE-96452189BBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24ee78f8b4512afa5317e53bcf57a762e8aa52e","datavalue":{"value":{"entity-type":"item","numeric-id":1182706,"id":"Q1182706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319366$3DFC5C0E-6C9B-4519-B906-5C7547489D91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc5dd29b6b333a3dc47fd328884fc849c8ebfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3978987,"id":"Q3978987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc4e95413eaab4c6b8f794b1694276ea4060323","datavalue":{"value":{"amount":"+0.7724123001098633","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":"Q1319366$6A82065C-B050-4239-8E03-9695DB111BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d4921e13092cc8de4bfff7f4d1144346737b0","datavalue":{"value":{"entity-type":"item","numeric-id":4735194,"id":"Q4735194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f4237a2ebde23bac50eee302656148702dbfc4","datavalue":{"value":{"amount":"+0.7712380290031433","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":"Q1319366$6864EEB8-55A3-441F-9869-338C1BB10D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e06fd9944b6c619634ba585c12136159ce51723","datavalue":{"value":{"amount":"+0.7710901498794556","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":"Q1319366$4F5FC1B6-46B1-4970-8A8A-C901ADD6275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2547beb8dc8b91f553edd4df89dda270de964511","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e66a6c86d4f4e6c03d994311bf59c21e988cfac","datavalue":{"value":{"amount":"+0.748275876045227","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":"Q1319366$2471A172-4876-49E0-ADB2-1C1B7A2C8DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45e85f4bb74497850ff388d8792f9d0f48d649a","datavalue":{"value":{"entity-type":"item","numeric-id":3097967,"id":"Q3097967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4a62e3c66c7f0d8234bd388da17131bd7962d8","datavalue":{"value":{"amount":"+0.7479576468467712","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":"Q1319366$333F0489-897F-480B-B4E9-639590FB405F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal systems for modal operators on locales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_systems_for_modal_operators_on_locales"}}}}}