{"entities":{"Q5099779":{"pageid":7129355,"ns":120,"title":"Item:Q5099779","lastrevid":55415515,"modified":"2026-02-17T15:57:22Z","type":"item","id":"Q5099779","labels":{"en":{"language":"en","value":"NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576537"}},"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":"Q5099779$F24F2302-F202-408B-BDDC-1A10C41E9704","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36de278814c6ae1395994c3017eb9ec9f0ba552f","datavalue":{"value":{"text":"NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5099779$C18378BE-8D15-4389-90BE-1BB61D26CAC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0236d28302ccd64410161ce6e62b0a97ffd9818","datavalue":{"value":"10.1017/S1755020321000319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099779$99A72F1F-4B81-4ED5-9BF2-EB7B2363C9E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$528E135A-F760-4EBE-B482-30248E21F8E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f73b386990d93a2e672449eec9032448af61ffd","datavalue":{"value":{"time":"+2022-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5099779$2853C726-525A-4CD6-9AE7-8C11AEBB7888","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099779$69B97E1B-B451-460B-BF0D-10FE52361F51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0785cec50e4f8dfe00a4d0bf4fad640559e8b0","datavalue":{"value":"7576537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099779$E2F7E20F-F4C5-4602-8610-A29F53DE8C3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d02cfe10446d93e6cd33f96ef0fd61d16f4fa74","datavalue":{"value":"classical modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099779$0AE08615-AD80-40F4-A4DB-2F7899E0B9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3abd8376fb1fa1c1fd18807ca1446eaba37c3883","datavalue":{"value":"axiom K","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099779$5FC08BE1-A7EA-439A-9B47-DC4D8A6DC9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099779$C2BAFCB7-6024-48B1-B11C-FD3DDD05D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99fb00071a23879dddea624fe3fbfeeb8c9bae69","datavalue":{"value":"canonical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099779$237627B3-91E5-4373-8EB6-92ECD4E6639B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd3ea4631772c5c9f5b2d7e204acb28b3a1c444","datavalue":{"value":"chellas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099779$24469123-4A85-4B3E-BD40-F5947FAE35C3","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":"Q5099779$99B5E987-C518-4E7F-BA13-D4D42A6404D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$D40119D0-FB4D-4F30-93CA-D123AD00104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$E34A1105-D038-4AF7-9E5B-D1BC3F4C4ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a3020d6f274e29d0c2ddd6aecdf60351568231","datavalue":{"value":{"entity-type":"item","numeric-id":1924324,"id":"Q1924324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$2EF2B62F-04C7-461C-A4E7-7A5B63BF09C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$24A13A16-F0C1-4AB5-9526-84BCA4E5428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e5deaf7277eddb6b7adb1ca55d5134bc8ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":1213437,"id":"Q1213437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$261D07C4-28F0-46B7-8635-3ED86CD73E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$6616711E-5D6E-49D6-90EC-DC88C941175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab23760a4de4a0e46a5e9d95f5c7ccc8064e6ef4","datavalue":{"value":{"entity-type":"item","numeric-id":2758075,"id":"Q2758075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$D54CEF33-9538-4EC0-8B3B-DAE487C945AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d2ce866aade83c23f27f73c552342f56a1be2b","datavalue":{"value":{"entity-type":"item","numeric-id":1368753,"id":"Q1368753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099779$E32DAE9F-B01B-4E39-AF87-D4AB08302D16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbe0ec202de2b1b46baabc0b1788a4dda5c66221","datavalue":{"value":"https://doi.org/10.1017/s1755020321000319","type":"string"},"datatype":"url"},"type":"statement","id":"Q5099779$B5E907FE-1C75-4492-A94D-69CC88316F50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fb7ac094926549ec3ed25e3be9da5e778e6825b","datavalue":{"value":"W3193889989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099779$7A5AD0A2-330C-46B8-AA35-0203704E3572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cceab7d865111d748ffc4333c18adecfc5c16f","datavalue":{"value":{"entity-type":"item","numeric-id":2758075,"id":"Q2758075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b530963996506930147e0f2c55f9d33f48c61ed0","datavalue":{"value":{"amount":"+0.7756103277206421","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":"Q5099779$D5DBB6EC-F3DD-4B31-B799-BCEF9BD375A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8df052d355eeb19dc186139ceca21ce5e0ecbf","datavalue":{"value":{"entity-type":"item","numeric-id":3012545,"id":"Q3012545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb62d222c1adbec9cd4ced0301d10909fa66bcd","datavalue":{"value":{"amount":"+0.7292218208312988","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":"Q5099779$22E2D6F6-B6F6-45FD-BE98-83F94E88719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87c91d6d46935349947ebce6e34c9f571cdee70","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb2dd74510202cdf8654b2d2d32b60bbb548041","datavalue":{"value":{"amount":"+0.7292066216468811","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":"Q5099779$6201B5C9-557D-4A9C-82DC-7AD5D88E4B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8ea170d6f53ada0854d511236ee2511575c797","datavalue":{"value":{"entity-type":"item","numeric-id":4215603,"id":"Q4215603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69314cc243d835898dba9d14a418e71201a2691b","datavalue":{"value":{"amount":"+0.7284832000732422","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":"Q5099779$42BAAE39-93CA-4AE9-B451-D6819426B5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f3d6b51bbea3345ee541b5d18826bbf3fde0e2","datavalue":{"value":{"amount":"+0.7169103622436523","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":"Q5099779$9DEE10FF-E7F2-433C-BC2B-DDF109DBADD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5099779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5099779"}}}}}