{"entities":{"Q4635655":{"pageid":6665236,"ns":120,"title":"Item:Q4635655","lastrevid":90021380,"modified":"2026-06-04T18:53:25Z","type":"item","id":"Q4635655","labels":{"en":{"language":"en","value":"Formulae-as-types for an involutive negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863128"}},"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":"Q4635655$8E0D7F04-D3DE-44F5-B108-07665ABC6469","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"179462cbf20717014338a052cb9acddb185ef716","datavalue":{"value":{"text":"Formulae-as-types for an involutive negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635655$206F00AE-3072-44BC-AD2B-BC5CD9679F97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbe11d85a442164e56face400d86533712a6ad21","datavalue":{"value":"1394.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$E09B12DA-A32D-4068-9989-6BBD47C225D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d88a126f27f4b553b0fb3a21e951acc0356c22be","datavalue":{"value":"10.1145/2603088.2603156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$376F6568-14E4-4FAB-AE04-C8536DC3630C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69f47f99d084a0cb88dd9b6a1a09ca8176e924a","datavalue":{"value":{"entity-type":"item","numeric-id":2828242,"id":"Q2828242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635655$1F76DB8F-705A-4717-B849-B4AD50D3A944","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635655$BD683873-9BB5-458E-A5BE-DC1029AE35DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635655$3DBBC209-99E7-4A69-894C-AE9855E3250B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c9d0727a03f3de9ad40eb67452921a3fe4f7c23","datavalue":{"value":"https://hal.inria.fr/hal-00996742/file/involutive.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635655$413A58AE-6298-42BD-9EA4-C62CE310608F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$5E653AB9-7568-4F3B-9BC6-FD7A79922157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$B837D147-E158-4A1E-8E6D-86940EC4003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$87EF2B8C-D236-432D-87C7-0CF45494B7EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6cfb3fc03cf11cd5a64132a851cf789c3b8b5cd","datavalue":{"value":"6863128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$C2E3C1F3-361F-452A-B4F3-67379E69775E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635655$6F1E25C7-90E2-4D4A-A98B-2E0D6A1EF7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635655$0CBAC2AE-3F1C-4E36-8E50-F8CC8C6A797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5f226222c1f8a70f4ec6c8398299665d047668","datavalue":{"value":"delimited control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635655$28F38573-92BF-4202-9751-BEB78728C92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dd2f12d34d2308fce7c69eeaa6c2748836100c","datavalue":{"value":"focalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635655$791AED1D-9CEC-4235-B441-77ED7C43A39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f584cb3d8f8178773104230a72651456e9a168","datavalue":{"value":"formulae-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635655$9EC66A07-0FF3-4A13-99BC-71518FEFD776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f25ab7681e8bd2ca16ec60d4577f91a3f376dcd2","datavalue":{"value":"polarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635655$9BA5C384-8C94-4902-9A2F-768CA6243052","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":"Q4635655$A54C30B2-D87E-4FE8-913D-B1AF2525CC74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8eab2f0b0266d8c9f38325394b61b17ec879239a","datavalue":{"value":"W2005469394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635655$C9CF42E2-D2D5-41C3-9D5B-0927975216D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecca18849b640f29ac49d44d343277d6d4c9593","datavalue":{"value":{"entity-type":"item","numeric-id":2753693,"id":"Q2753693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4733d4006790024838be5fa9f1cb0eb462f12108","datavalue":{"value":{"amount":"+0.8040497303009033","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":"Q4635655$1CF55014-4AD7-479E-8402-B182035A26AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc22ab53cdbb42923da086fadc519d157d3c7d0","datavalue":{"value":{"entity-type":"item","numeric-id":5277838,"id":"Q5277838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4733d4006790024838be5fa9f1cb0eb462f12108","datavalue":{"value":{"amount":"+0.8040497303009033","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":"Q4635655$CC9E9C4E-2CE2-4F43-96C3-ADE3583E29E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1d066023fe0d97db41b5e4089b2eae7b2146db","datavalue":{"value":{"entity-type":"item","numeric-id":4992396,"id":"Q4992396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2176620fb1f6803d79af4e2e2f4ba20ed30df8","datavalue":{"value":{"amount":"+0.7121390104293823","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":"Q4635655$C5664ABF-42A0-4EC8-8F01-0C8851309E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d28c3a7a5aa402cec4b45cae0f31ca83f273f2","datavalue":{"value":{"amount":"+0.7024602293968201","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":"Q4635655$E48AC932-FF73-435E-AD4C-80265D900388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7af9a4ee05f9ff464d20a4371634242e10d81c","datavalue":{"value":{"amount":"+0.6973530650138855","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":"Q4635655$032BF79A-5DE0-477C-9218-96D19F925FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formulae-as-types for an involutive negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formulae-as-types_for_an_involutive_negation"}}}}}