{"entities":{"Q5163982":{"pageid":7193553,"ns":120,"title":"Item:Q5163982","lastrevid":55392697,"modified":"2026-02-17T15:28:12Z","type":"item","id":"Q5163982","labels":{"en":{"language":"en","value":"Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7423146"}},"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":"Q5163982$4DF51995-1B18-4042-A32F-DDA2B74F297F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d2a3fb504364d5ed726985534eee146b3ee4a5b","datavalue":{"value":{"text":"Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5163982$0A5D726E-E126-42A2-B76B-CEFC96EEDBBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb22a3904380777df510def911bb4e3eb3352","datavalue":{"value":{"entity-type":"item","numeric-id":2106872,"id":"Q2106872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163982$BED681A5-08FC-4E9C-B1F9-4845D449FCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163982$93EEC44B-067F-4ED2-AFA1-9514C034201A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e8877531cc3beb8833806042dffaedcc047af9","datavalue":{"value":{"time":"+2021-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5163982$C4D8C69B-6ADE-415C-AEB8-345C1EE2EBDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163982$0A942659-1F2A-43C4-85B7-91AFC2516CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163982$153333D8-EE12-4C5E-94A1-B9743044DD09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d368651bc0e90fd560da7e128dd81c8978e5fe0b","datavalue":{"value":"7423146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163982$5F5FDD53-D9F0-4930-82C4-2D9577CD5D22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163982$DE48C927-79EA-48EB-8784-DC0BE9AB3E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163982$4A5B3551-ACB3-4E7C-ABC4-AA65F92180A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163982$0ED1704A-4CD2-4E7B-8E1C-70BC109BC710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163982$AB4A6C6A-BDFB-4B62-93F7-322B3C3A6C46","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":"Q5163982$28EC3EA1-7A0A-4AE8-B00F-42BEAD8480D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fb1be989288a2368e6a59cd72325f5538836025","datavalue":{"value":"https://doi.org/10.1093/logcom/exab040","type":"string"},"datatype":"url"},"type":"statement","id":"Q5163982$B20A03AB-0023-49FF-8FE5-47BE9F45E8B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09ff97d26bcccce94148e8970a6fd4b9d1c4be6e","datavalue":{"value":"W3182948686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163982$D8E36713-D87F-404F-B326-2A91EBB8C014","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3d85dff85cc6d1eb2407e98093c4c4733bdcc49","datavalue":{"value":"10.1093/LOGCOM/EXAB040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163982$DA3CFF74-D87D-4492-AE07-EE450E4BB93D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163982$CA26F5D9-B54C-4A5A-B62E-91D90E490E2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0915bdeeefa081155ae535461e674d1212fe87f","datavalue":{"value":{"entity-type":"item","numeric-id":6639558,"id":"Q6639558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b32ed0cb9c6f3d8565761da2f0332a74a14d606","datavalue":{"value":{"amount":"+0.8244301080703735","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":"Q5163982$F2E1C720-D609-4C75-80E8-D8779005DBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58df28e740ff76c11b6adeb0cb5039afd4f754e5","datavalue":{"value":{"entity-type":"item","numeric-id":2987743,"id":"Q2987743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ce2dfea102a0081a22080b85b2f3b9122b1f30","datavalue":{"value":{"amount":"+0.7692955732345581","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":"Q5163982$85EC21E9-D68E-4506-A586-73CBCEAE17C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c546402ab1214da4df5dd86fdaa1acfb2325b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f3576a967ce47e1dd7c1905d5e65d8d5df6061","datavalue":{"value":{"amount":"+0.7445335984230042","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":"Q5163982$3E8005E9-319B-47FA-8C4F-7609978AEAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139c6468806cd53a2cdf5f9860706af2f9d0b5db","datavalue":{"value":{"entity-type":"item","numeric-id":6084524,"id":"Q6084524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7ace6b0d204884db52bbb1dadb54e08f7a5e77","datavalue":{"value":{"amount":"+0.743735134601593","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":"Q5163982$FB698747-79DF-474C-8BCD-3EEEFE306B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900d45918267f8663078e8806dce754e56ee94cd","datavalue":{"value":{"entity-type":"item","numeric-id":3703867,"id":"Q3703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528afd72edc3c1f008f52c1d38f932659fcf4e76","datavalue":{"value":{"amount":"+0.7397616505622864","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":"Q5163982$2367B60D-9496-4C4C-A637-7AA59C988335","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5163982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5163982"}}}}}