{"entities":{"Q5737964":{"pageid":7767517,"ns":120,"title":"Item:Q5737964","lastrevid":97023308,"modified":"2026-06-05T13:03:46Z","type":"item","id":"Q5737964","labels":{"en":{"language":"en","value":"Instantial neighbourhood logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6724413"}},"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":"Q5737964$900BE923-0B5B-47AA-86BC-39E6373FEAE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"245f438589269eb87d967062150fc070cc35e99d","datavalue":{"value":{"text":"INSTANTIAL NEIGHBOURHOOD LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5737964$11E1EB70-BF3B-4D60-9E6D-724978546E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35cfdff97645bda4a8edb8d8cf7d0950223da2a8","datavalue":{"value":"1417.03162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737964$4BDF44B0-DBDA-46D1-BC58-84409FEA721B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdc59c86da8a79cb7a07140143f41a35a6c39afe","datavalue":{"value":"10.1017/S1755020316000447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737964$FEE973FA-BF56-4D83-8F60-CF891A9CA7FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$FC7F43CD-E23C-43EB-BC8D-917EFA96CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$296A8968-82CD-4A9C-BAB9-651390228776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5cb9fd95797e0efa825040431f9b1fe097fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":392297,"id":"Q392297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$F6515C4E-B3C1-4E50-9B49-BD63F6F3FE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$F2739649-ADEC-40B2-8BAD-71BE719D2956","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":"Q5737964$2458E954-C541-4B26-83B8-0CE7A6CFECB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d49858a0afe4b614990a77fa152712e1ae2b828","datavalue":{"value":{"time":"+2017-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5737964$7826F4CC-768A-430E-80B2-729AE01BB2A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737964$E3ED1D28-A0B8-48A0-90ED-BA038833B3E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"942d166971d62d98cb2d1cbec0ffe48657159fba","datavalue":{"value":"6724413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737964$547E5AE7-9BD0-464B-93BF-9EE8637FB941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$2DD6B172-B70D-47AB-88AC-131CFDA119F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e47a005e2cebe0902024ef456b92afb18104fcb","datavalue":{"value":"neigbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$FED0E309-B8D5-485A-B5E1-E69598FF89E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$89BED5F5-604C-438D-87FF-98F9AAC7130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$98853CB3-55A3-49DB-81BF-707F9CD3F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$2584F138-00F9-4D0D-97B5-A0B25A79BE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$283B335A-A27A-4174-BF48-1583C089F42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$23A82B78-5029-46FC-956D-21E1654FDDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47cac054525dcd6002d016c7e3337fb7c7f6bf4","datavalue":{"value":"game logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$06D5D9C2-B82F-4833-B771-636B5A12FED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737964$24F37EEF-C2FB-42C8-A6E0-D591A0E83355","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":"Q5737964$418A4010-3BC1-4CF9-B97E-8D3644564617","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$271540E6-2EAA-4643-8F09-776321A4479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$DDDFC257-1696-490C-87E5-C4430387CAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$F842CF02-0732-4DB1-A566-E22803F4878A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bc0970c45c2e9ff42bab45248cf6ceb244c3f","datavalue":{"value":{"entity-type":"item","numeric-id":1425187,"id":"Q1425187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$88E63D3A-1116-4D8B-90D6-C26975BD244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$1671339D-9D50-4296-A470-F7FB0B1C7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ff784ca6b7e19f04261b1ad466fce6744164c7","datavalue":{"value":{"entity-type":"item","numeric-id":647408,"id":"Q647408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$10AF9FFE-E773-477E-BAA3-F9186B39166C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcdb1a6710e37d10f520db2eca7ea92f363003d","datavalue":{"value":{"entity-type":"item","numeric-id":1825878,"id":"Q1825878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$4C7E2036-C640-435B-9D3B-EBFC6F5ED9BC","rank":"normal"},{"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":"Q5737964$F29B5678-3CC6-40D1-A8D5-AC4FE323DA0D","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":"Q5737964$1AE3A135-BB79-486C-94BB-BE292667B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$E1978E2F-FB0D-4E9E-9B46-0AEAC2303F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$DAFF0D5B-2FCB-4647-B99D-7B5F9643D51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$F047FD57-9531-4CBF-86F8-F092DBCD0DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$2A0ABB6F-F631-4920-B409-14DAFEFD48A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$4470DF10-6948-4615-8226-EDC81CF6BFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$CB50FECD-552A-4982-BD4F-DEE60F4101E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$E309F902-806C-4FAF-82B5-4B4B46503221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef7abba46272910e9ba99fbc2a81b57cea783c","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$71A96681-C7CD-4984-B12F-88495B0382C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$4E8E5C94-1AEA-401A-A0B1-33C86785B36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3255f9e862363da7e78183694412963378f10cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2462682,"id":"Q2462682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$F22A267A-78E0-4540-AE70-54D1C2DE4DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$A29133AA-1C95-455F-9204-EBC55725A5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$AC369F13-6DF2-46F5-9714-B9E1445F41CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$5CE0341A-2425-4862-8D00-40672CEF7DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4dc61b6bf79a211950b0af4f860b29a4e25583","datavalue":{"value":{"entity-type":"item","numeric-id":3086230,"id":"Q3086230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737964$669E8432-5C34-4BB9-9990-F4CD4E840FB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7ea77167edce7e142488da6ff5ec0577530be3e","datavalue":{"value":"https://doi.org/10.1017/s1755020316000447","type":"string"},"datatype":"url"},"type":"statement","id":"Q5737964$B3978B30-56D8-4E50-A468-32BDD15F878F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e58a39d10573eb804abdda154256791382dd74e","datavalue":{"value":"W2561991968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737964$A845F541-A974-4F9D-AFB1-AAA03175BE7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3484f94119daafccd30540bf48384d3d8acc1a23","datavalue":{"value":{"entity-type":"item","numeric-id":1709714,"id":"Q1709714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b500fb15be273fdf5ed36c350d24785142d1f00e","datavalue":{"value":{"amount":"+0.8343221545219421","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":"Q5737964$4EBEB398-12A1-4E91-ADEC-9B79C298359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e285df5cb2b760f3e4e89544e077cb388e00fd","datavalue":{"value":{"entity-type":"item","numeric-id":1679752,"id":"Q1679752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84831ca29e1027be8663c75df8a19424b350c194","datavalue":{"value":{"amount":"+0.8144514560699463","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":"Q5737964$0A099BE4-E1E8-4098-B6C9-B7D3FAA0EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078182dad3f6366556cdbd1f10452a4a7127ac06","datavalue":{"value":{"entity-type":"item","numeric-id":5178960,"id":"Q5178960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd9039dd1b911d9b00bd250de346ea94968da78","datavalue":{"value":{"amount":"+0.7625629901885986","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":"Q5737964$F51B9ABC-689A-44D5-9B8B-AD6818C86F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6134e8beef50015922c8945aa4306292f3d783","datavalue":{"value":{"entity-type":"item","numeric-id":2334111,"id":"Q2334111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e14b9676fe7bd94585fdc72406b65f5a735ba1","datavalue":{"value":{"amount":"+0.7610598206520081","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":"Q5737964$17FD1ADA-40D7-4AB7-9CB0-B912876A06EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6504caeabe2aac8e7d47226e4a16d967f1caec17","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d74bdb1e9f6f98f6d378f002031be0898b5b7cd","datavalue":{"value":{"amount":"+0.7608422636985779","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":"Q5737964$6B2DF97F-5E0E-4AF5-833D-6CCAB72922F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Instantial neighbourhood logic","badges":[]}}}}}