{"entities":{"Q5935790":{"pageid":8112592,"ns":120,"title":"Item:Q5935790","lastrevid":47629090,"modified":"2026-01-02T06:30:19Z","type":"item","id":"Q5935790","labels":{"en":{"language":"en","value":"A type reduction from proof-conditional to dynamic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611073"}},"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":"Q5935790$44FA737F-524B-4F84-85F9-E365B9BF4179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a4e79d1f9ba41ab82ee9eefc33a4ad28b497ea8","datavalue":{"value":{"text":"A type reduction from proof-conditional to dynamic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935790$EE437570-774B-4C3A-99D6-6416E15BB0E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"625b3f8df33f2aada77dd5786b5a2ee92206e1c1","datavalue":{"value":"0986.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935790$DB222965-9B4B-4D83-8121-5AFE5CEE9332","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb6962fb9069c149467dc769ce3857154f4996c7","datavalue":{"value":"10.1023/A:1017541301458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935790$264A88D7-28FF-47B2-AF95-8D9B54697C19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f1320e6ec20cbf624a8436ab06f53df2bae10b6","datavalue":{"value":{"entity-type":"item","numeric-id":185570,"id":"Q185570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$B43A366A-00DA-4315-8FCD-2F61071E6FBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$F6D993D4-3E8B-4574-9BC2-E1C08AD34BDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935790$041893B9-EC30-40F0-8612-047823FBB419","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935790$95142D87-A8D9-4BE0-B405-FF671D336734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935790$DD6C0371-92DE-4588-9E65-14B3D214DEAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fefd5d015b2577efd5ebee906aa6b826268f5574","datavalue":{"value":"1611073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935790$AA642831-A187-45D0-A2DC-7DAEF5E10922","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64660f2abb2916ab9ddc5445b172247c703e5d43","datavalue":{"value":"proof-conditional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$6B54BF44-ABEC-4FAC-82C5-699B290B3266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad2f6bccdee3f12ee6654b3c00c162504b6bcd0","datavalue":{"value":"dynamic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$50990196-5C72-48DD-A673-1C809654309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$98D413E0-59D5-4DDC-A87F-7920ECEABE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485b5d8dcb1e5e2117f9c842ebd45e3b711a0a49","datavalue":{"value":"anaphora","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$740980E0-22E2-455B-87A7-7803DCEB3D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$AF82318B-A069-4EF2-B906-E4A02093A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$73950194-C7DA-4D43-8928-13BA316FF030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$65426366-D646-4BE8-A1C5-A8F940A60BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bb086b95579efc04c7f7975a889b6aac51709bb","datavalue":{"value":"discourse semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935790$BBBFCE0B-DBDC-42FE-B305-C82D8B8E9799","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":"Q5935790$66D44D34-4D8D-4259-B953-DE7661FBCB65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$86455965-1F34-4B48-9F70-9FEBF0D75682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$37A53974-D918-405C-AAC4-DE777311F2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4efac6632db2c8f49e1dab8b1b59cbd8e82b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4314681,"id":"Q4314681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$07827164-428C-4AC6-B32D-D7531A4F377C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64e4bdb48f56e50468d3446283f01f0bfe274a8","datavalue":{"value":{"entity-type":"item","numeric-id":4793032,"id":"Q4793032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$3FC9CBC9-D569-4075-AEB3-1F22B70F2E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$6DAD107C-07A8-47AD-9562-F658C19BD749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$30678987-A7A3-4D87-B413-8F919CCD1DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90912fceec84d48cb51989480e083741719a409f","datavalue":{"value":{"entity-type":"item","numeric-id":1923839,"id":"Q1923839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$8AE9F0B0-2CE6-4AD8-8951-A6C0FFCBDC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfedd2c761b3fb7576c08b264508fc6ee6706256","datavalue":{"value":{"entity-type":"item","numeric-id":3856756,"id":"Q3856756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$ED22250C-972A-4FA9-B343-283016121B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a954c67c8c5364eb4783da18d0ff09e7ae032e","datavalue":{"value":{"entity-type":"item","numeric-id":4552507,"id":"Q4552507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$1640CF29-9BE4-4EF4-AC36-86DCED0E6D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$86119862-330A-4CD3-8D33-48168CC08C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbca9717233da6ee0549de7beffe9723d3c0385","datavalue":{"value":{"entity-type":"item","numeric-id":4862312,"id":"Q4862312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$9A720783-9637-4577-A7A2-949443615DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$7CF0AE1E-B956-4330-A01F-F21EB9DC39B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$1EF4D53E-BD7B-40E4-8C1A-E9B3B54B4838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935790$78B6BA79-1404-47C5-B80D-3CBAEBFC899F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0f132e22d9bf7e5c13f5f84a06eff793f0d3a29","datavalue":{"value":"https://doi.org/10.1023/a:1017541301458","type":"string"},"datatype":"url"},"type":"statement","id":"Q5935790$84EAC5CB-650F-4EB7-9405-7AE8B38E9899","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56dfdafbba0e903deb2b824506990016fffcf924","datavalue":{"value":"W2022026344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935790$27F7B605-28D0-441E-9855-A40ED76ABC74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ad0418d63cd93fb254b03d64da335db8dc326f","datavalue":{"value":{"entity-type":"item","numeric-id":1923839,"id":"Q1923839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9efaddc0ef973947c00aed5357dcffbadea660","datavalue":{"value":{"amount":"+0.7081413269042969","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":"Q5935790$34D34244-4E53-46AD-92F5-096B87C27ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb41b5f683f80f95d02f60acef680e52a52da46","datavalue":{"value":{"entity-type":"item","numeric-id":1744958,"id":"Q1744958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b087fb1ba5e050077eda846098433e9f199600b6","datavalue":{"value":{"amount":"+0.6952888369560242","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":"Q5935790$AE3B8289-1926-4C56-BA2C-DF47A6AF9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"883d5e94129bb3ccd53d757cd25f2079156e3c07","datavalue":{"value":{"entity-type":"item","numeric-id":4981265,"id":"Q4981265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7adfcdc06503b80589ca93ddac90faa7a00e2d2","datavalue":{"value":{"amount":"+0.6937319040298462","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":"Q5935790$C3D0927D-EDE7-4312-BC02-7CD558864173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004a4d8014879b8334bb015ae50ce5bb383a90e0","datavalue":{"value":{"entity-type":"item","numeric-id":2425327,"id":"Q2425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7446bfb80940fe9f12c8f4643145a57439ee8e","datavalue":{"value":{"amount":"+0.6888657212257385","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":"Q5935790$98AFEA25-519A-44F8-B699-B7EAFC837CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf8fd1d9f4e6bc4fba4f78275d3eb5c8500a6f3","datavalue":{"value":{"entity-type":"item","numeric-id":3167315,"id":"Q3167315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2585cc8b49d3efa95e95379d375c7d953109309","datavalue":{"value":{"amount":"+0.6875749826431274","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":"Q5935790$9A1A777B-5115-4F62-B247-1CF283E0CDC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5935790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5935790"}}}}}