{"entities":{"Q5367055":{"pageid":7396629,"ns":120,"title":"Item:Q5367055","lastrevid":58543380,"modified":"2026-04-05T16:33:43Z","type":"item","id":"Q5367055","labels":{"en":{"language":"en","value":"First order theories of some lattices of open sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790153"}},"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":"Q5367055$C6A7BDE6-33C6-4422-97EC-F492384CD071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e5e0aaf5c935417adad3cc1ac3c9a5391a79b3","datavalue":{"value":"1459.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367055$BC82DC81-534D-47AC-910F-1A2DC018EB85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93cb5bd91568d5c1f91d90d71741b040724c482d","datavalue":{"value":"10.23638/LMCS-13(3:16)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367055$A0BBEEDD-C5BA-44C9-A704-25410125BF57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc430287aff334b038fffa2842c5e6fa3f5ef7d8","datavalue":{"value":{"entity-type":"item","numeric-id":606047,"id":"Q606047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367055$AEF430BB-2B51-4A5B-886C-413246069F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367055$A8B2B1F0-B657-4884-BA84-7364555E446A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-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":"Q5367055$6B674386-BD69-4B44-B693-A9493246D1A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ca25199fc2763eefd4f955325259effc53c642e","datavalue":{"value":"https://arxiv.org/abs/1705.04564","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367055$4C1002C1-0B0C-4E7A-AE08-5470D82702D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367055$B5B34C8F-6655-4388-B372-594E74802C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367055$8C18BDB7-5C30-48CA-B141-D6EC1719039C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367055$4B147419-6701-41A1-AB37-E5FE8D9FA841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca64c0447a54ab0d58781bfa077be8dbf5934470","datavalue":{"value":"6790153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367055$70EC1DFA-94B0-4685-9FBE-92366D948617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266de444ad78d8e616aef847fb5e6cca08340e30","datavalue":{"value":"topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$8B09A0A0-0788-40BD-B45C-86AE0D847CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$ECFB8D0D-8805-489A-9DA1-12BC025D5B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07af8d8f41476cff216b5e3c5e437c8312a0a5bb","datavalue":{"value":"open set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$B23C64D4-85A6-4800-98DF-5BF3E1E52845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7abae18eee421677c4e2cb0941de08cebf7ad879","datavalue":{"value":"effectively open set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$C7891554-38BC-4CBF-AFEA-D449755CD960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$62785F5E-B19A-4814-91F6-956CA0119E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$38EC9E05-7155-4862-BE0F-4394940EB4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4709fbb733e2ffc35972088613170c9b7950475","datavalue":{"value":"\\(m\\)-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$E93E534F-35FD-4264-A55C-3F6A133D0184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367055$14668498-1346-4504-908F-8A9F961E1688","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":"Q5367055$7562E41D-0B7F-48D7-A51C-9C9F41348CD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cd2de7bba69a1e57b5ed2c3c45127f73d82418","datavalue":{"value":{"entity-type":"item","numeric-id":3188269,"id":"Q3188269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a790da87f5f67e60e36b07fef84c8cd0d0c455e","datavalue":{"value":{"amount":"+0.9308732151985168","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":"Q5367055$A31BA3C0-0986-4A89-BC2D-4F462B24DDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76490601f20b6d142e47116aced838d22dee7b","datavalue":{"value":{"entity-type":"item","numeric-id":1098841,"id":"Q1098841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8092ad8f5f9881ce324023e3d1821d3ce0371a","datavalue":{"value":{"amount":"+0.8363140225410461","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":"Q5367055$9E0C7CCD-E268-46E4-8DE2-B6CDF2788F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0816453013340b399a5bc6ca05f38c9230282","datavalue":{"value":{"entity-type":"item","numeric-id":1061121,"id":"Q1061121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9242f6c6aa3dcc815478ea7fb602fb19f2895553","datavalue":{"value":{"amount":"+0.7647081017494202","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":"Q5367055$059FABE8-243C-49DC-9E16-FF907A287D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338ae115e5a4d132df2fd21dccfdbc896a40e1d6","datavalue":{"value":{"entity-type":"item","numeric-id":4635374,"id":"Q4635374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0753b17dcd85e75b3fcdf7ac7df03be3affffc9","datavalue":{"value":{"amount":"+0.7363179922103882","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":"Q5367055$5866020F-7DC9-4C4E-93DC-95509409CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3ff78512e9cb2ef4748c6f8670a3ee08d5c5be","datavalue":{"value":{"entity-type":"item","numeric-id":3149998,"id":"Q3149998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0118279de9927da6b02c8a9a30ec0ba8a17ff6","datavalue":{"value":{"amount":"+0.7321163415908813","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":"Q5367055$9F7EDA65-96F5-478C-AC3A-E8519473888B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5367055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5367055"}}}}}