{"entities":{"Q1283134":{"pageid":1293884,"ns":120,"title":"Item:Q1283134","lastrevid":67221573,"modified":"2026-04-12T16:09:53Z","type":"item","id":"Q1283134","labels":{"en":{"language":"en","value":"Predicate logics on display"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275038"}},"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":"Q1283134$BDF0B47F-6FCF-431B-9921-A39D2CB0086F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c834e6eae65c9acdffa51ed4494f62423b81828","datavalue":{"value":{"text":"Predicate logics on display","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283134$99348363-94A3-4327-8AFE-5F2262EBD5D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12e239dc4098c59922dc37b7b5504bff4ef957dc","datavalue":{"value":"0922.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$F2743D43-B742-4DEE-9B6E-4E38116A8619","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4376e4ce8588a422afd529b0a1bd36bb3f2dfae6","datavalue":{"value":"10.1023/A:1005125717300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$1AD3E74F-24F4-4B60-AF38-530775E23DF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283134$3CFAD6F2-D71B-4756-9A5E-4B93ED24E076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8142980aff8c06a5ea2bbe920489e5f57f93ecb","datavalue":{"value":{"time":"+1999-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283134$EBFD29F7-1673-462A-BBA9-8D67CC8C0253","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d9d7ed97c0a30957bc2837159c7f972d37e7ff8","datavalue":{"value":"Display systems introduced by N. Belnap treat the modality \\(\\square\\) using an ``inverse'' connective \\(\\bigcirc\\) (sometimes in the past) and the following rules: \\(\\bigcirc A\\to X/A\\to\\square X\\) and \\(A\\to X/\\square A\\to\\bigcirc X\\). The author extends this treatment to predicate logic using \\(\\bigcirc_x\\) indexed by variable \\(x\\). Additional modal-like operations \\(S_{xy}\\) modeling substitution \\([x/y]\\) are introduced. As always in display logic, numerous structural rules are needed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283134$6250A051-9588-4C11-BABF-978A64B94EEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$4BCEE312-1595-4708-9B28-3EAEFDB1144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$710FB9D9-BC7A-4AB2-81B7-F1F2B6E0A868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$0E7C51CA-4257-49E6-B64D-DB46AE3A2B6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26285905d3fe4a464193e61d214aebe3c43684d","datavalue":{"value":"1275038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$D51F78A5-1FF5-4F56-92C3-ABCD0988B208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283134$38B353C2-384C-41F8-AE00-94F779BCC6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283134$E6D005E7-3798-4232-A438-3A90677D856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283134$4B0FAB97-96C8-4528-AD60-145E641EDA05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283134$893DC50D-F043-41D1-88FF-041A0DB75932","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283134$78D63931-4CF2-448E-9797-509D691CCED6","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":"Q1283134$51C20A6D-B4F8-40A4-A007-4D758162220F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f64dabfaba8ee8ae00dbfeafd0e1336755f0343","datavalue":{"value":"https://doi.org/10.1023/a:1005125717300","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283134$091BD3B4-47A9-4351-B10E-3FEF5B0FBAA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e70db4145d4e2369a459a2b22f001caf7043670","datavalue":{"value":"W4241430495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283134$0D6B22F4-0378-43F1-A8E8-0AED0278FD2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9da51f6b10768475a14ac230a2ba56c02972cf","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87be9ae6dfd41d5d2c5b776aef917ddcafdcde84","datavalue":{"value":{"amount":"+0.773716926574707","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":"Q1283134$90DAF60D-A8D7-4C6B-913C-BDE24A46D2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222354851f52feb2b1c1fb76be039ee622b49405","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7231536756682645116738f09c3e3a13a294d7a2","datavalue":{"value":{"amount":"+0.7561715245246887","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":"Q1283134$B1650FEC-25EE-4358-96BC-EC49428CF124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b446dde50f7fd12f42bb3a3e5fed86672136dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4385350,"id":"Q4385350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50468f7d1098508b3b384d4f10234e51fe58ef3d","datavalue":{"value":{"amount":"+0.7347809672355652","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":"Q1283134$A4D667ED-E972-4C2F-A324-1635E0A7CB7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate logics on display","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_logics_on_display"}}}}}