{"entities":{"Q2825413":{"pageid":2836151,"ns":120,"title":"Item:Q2825413","lastrevid":56916903,"modified":"2026-03-24T15:11:26Z","type":"item","id":"Q2825413","labels":{"en":{"language":"en","value":"Neighborhood-sheaf semantics for first-order modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635965"}},"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":"Q2825413$B16FA8EF-5579-42C8-B18D-FA2B5B08605C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb08a2d57bb63aeb339172b41efd6f7604f56138","datavalue":{"value":"1347.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825413$E8553B03-F4BD-42B3-9FB2-41E2951647E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60766a3f3637a5b4ce3085e6826d61ac6ea7500b","datavalue":{"value":{"entity-type":"item","numeric-id":334456,"id":"Q334456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$1C14562B-F69F-4245-BD9C-89EFBAA1C7BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$BBA910DD-166B-437E-A176-8EF23EBA1836","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825413$DDE2AB60-341F-4090-8A53-94354AFC5F67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825413$BDECD32F-EA47-4FD7-880E-04BF616974F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad2562286f004ffe928e907df07a08e696a813aa","datavalue":{"value":"6635965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825413$5FA22A87-F10C-498B-89F1-327FA6C61B52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825413$CBF39A49-9AEF-41C8-BBFF-59B926E1FF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c690e60ee533519910eb068b3e141085575ad1a","datavalue":{"value":"neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825413$25F40961-8FCD-4308-9C37-6730A6B63BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170c19aefdca1113c5e261512c40ba11f20da185","datavalue":{"value":"sheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825413$47FAC49C-BE68-4C1E-840F-564720D614CC","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":"Q2825413$0E565CCB-E6BF-4CB2-ABC9-F2FF19A0560D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71ff66e6fa217798be1d1026225cc6ae72e76023","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825413$126CD103-B5E5-4EEB-9F05-040C649F5A5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69a5b0cd429fcea7b69445f9f4773e4811de53e5","datavalue":{"value":"W1979416980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825413$7C5751F1-E2FF-4A09-AB0E-402E0E26AD01","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe5da7a8575b5055417723881fd884118b696b00","datavalue":{"value":"Q113318195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825413$0C2FB7A1-92AF-487A-BD2F-FC6466448E49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cf008b86099e5e586f0fa4692daf9c8a073498","datavalue":{"value":{"entity-type":"item","numeric-id":863182,"id":"Q863182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$E8CE5ABA-4CAA-44A0-80DC-2ACE1F89045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5424301ac1ead41d6e8b6bca6af6c50f2da734a5","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$85988E20-404B-4AD8-8A3E-EA042443764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f8a9c8555dd43e00c372a9a0d0c891a7085b19","datavalue":{"value":{"entity-type":"item","numeric-id":1283128,"id":"Q1283128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$5EDFB9E8-672A-4C50-8207-DEE7C0114155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1c4295864ed9a6aface9dc2fd4d7acb0ae337b","datavalue":{"value":{"entity-type":"item","numeric-id":4934027,"id":"Q4934027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$A32E73D2-BD6B-4752-91B3-4899DA706F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$A9A0190B-19EC-473B-9FD1-136C86D251B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$E601BA41-D33B-4F27-9358-AB704FF167E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$D0858F17-15D2-49E3-A0C6-254D8CE4C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e80e2a603e8868f47b5bc8440aa302e5f8a50e","datavalue":{"value":{"entity-type":"item","numeric-id":3804674,"id":"Q3804674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$D54C3041-F289-4095-83CC-F02E716717F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$C2ECD967-39D4-4B2F-B7CE-B61799844812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$A0BC0E6C-7A6C-49A2-BE33-236F79895F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$5721F7FF-E433-410C-8DDB-9032AF161E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b3b52ebf5668f4e60d02f1db5e8adf1a3fecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5676377,"id":"Q5676377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$8CD3EAA1-EF68-4A76-8C19-00597BF90480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$FF564DCF-7C4C-4639-9B1F-8AC29D307D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$661C9221-0036-4ADE-90F5-82E82F36F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$8F340A08-D6EF-468B-9D0B-AB89A0B7DD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5a2556c96988fd1db785315ee83aa84b98f347","datavalue":{"value":{"entity-type":"item","numeric-id":3947661,"id":"Q3947661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$5B1AE440-9F0B-4097-AFAD-D2E5C9B83222","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":"Q2825413$2695CF3A-3212-4815-8BA5-5CC7E3C63240","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":"Q2825413$DA0FFB21-40EF-42A9-88C5-FFBC84651AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$565A9379-EE56-4C4C-ABBD-2A910DDA8C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474a90a944e7cd909ccf37b4b52d8545b3851c9","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$063BD522-FC14-4E10-98F8-F223E2684AF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b5edfde2c48cf8637133520bed9d52b14e2d44a","datavalue":{"value":"10.1016/J.ENTCS.2011.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825413$6C098FEE-222F-4C03-8F2D-511932DFB263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f05e43182cc6679f542d77b561b8e741e36adee","datavalue":{"value":{"text":"Neighborhood-sheaf semantics for first-order modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825413$CAED4135-9C73-4C25-AEE3-5EDDF5132659","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd30d2c97d61b561712d7223c61b174ece52c1d","datavalue":{"value":{"entity-type":"item","numeric-id":863182,"id":"Q863182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ff695469905caa1a451fa8ce77817a32c25727","datavalue":{"value":{"amount":"+0.8193930387496948","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":"Q2825413$86DF4744-0538-4128-9BF1-D8E9DFAFCBFD","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":"99c44ed328cc07cab7e0c99f279fbbe950c0a6fd","datavalue":{"value":{"amount":"+0.7892159223556519","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":"Q2825413$B98BD45D-DE08-46EB-A856-D28E01301462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85001b2ea67fe9f9d4fd106a9623a9412dfffb87","datavalue":{"value":{"entity-type":"item","numeric-id":5419867,"id":"Q5419867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97338aae89c54243e17268520c99968cb0645242","datavalue":{"value":{"amount":"+0.7795063853263855","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":"Q2825413$61463492-DB2C-4920-BA50-3ADE87B7C2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1b377992dbecbd6b4c271252338e77edacf57","datavalue":{"value":{"entity-type":"item","numeric-id":4295247,"id":"Q4295247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ce7119c88d009f684d250bb00fd5f28efc416c","datavalue":{"value":{"amount":"+0.7497919201850891","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":"Q2825413$9466166D-481C-4FD7-B943-D249C18DCFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db277a4caad49b1463e9dfb8a3714a7eebdad783","datavalue":{"value":{"entity-type":"item","numeric-id":3580665,"id":"Q3580665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe889362c71bc30396ab64780776fbbdf1c7f66","datavalue":{"value":{"amount":"+0.7478622794151306","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":"Q2825413$0D6994FF-F766-4B62-A5A6-961BBBE4CF01","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825413$E4FCB147-3645-482A-82EE-AEDF0B37C285","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825413"}}}}}