{"entities":{"Q1974480":{"pageid":1985222,"ns":120,"title":"Item:Q1974480","lastrevid":46920063,"modified":"2025-12-25T20:49:00Z","type":"item","id":"Q1974480","labels":{"en":{"language":"en","value":"Deriving proof rules from continuation semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439780"}},"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":"Q1974480$47AA813D-AB0D-4190-9F8C-C73A9BA76322","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6611d6ac727d4fb332d2719be92c0f6753207d32","datavalue":{"value":{"text":"Deriving proof rules from continuation semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974480$D4140C87-2A50-4414-B93C-A11836A79215","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bccf20608aa9c8af38944a56c58b749066e81c3","datavalue":{"value":"0955.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974480$0CD25EE2-18C2-4F16-868C-A2E29AFE94E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"501244badbcc9fc13951192486442595ef743c8b","datavalue":{"value":{"entity-type":"item","numeric-id":923884,"id":"Q923884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974480$FC028EBB-276C-4706-92DD-D31209933AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974480$E5C9CE62-F109-433A-BF3A-83980944D6CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974480$CDBB1995-37AA-4FC7-9DBE-CCDE0F19FD36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc17136081e6b5d5fc40d3affb0beecbc4f23a8c","datavalue":{"value":{"time":"+2000-05-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":"Q1974480$B687E2B5-5A81-460E-A3F8-FC26FD499298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974480$CBEE8CA2-8277-41A4-B977-3CFA525E76C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c4494e011ff4820d71df4fbfa75e5da747521c","datavalue":{"value":"1439780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974480$36768639-E020-4C8F-847D-B3EA000D8E5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a971029e298d1b7a854a7c5ba0a50adead0e0e","datavalue":{"value":"Hoare semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974480$C151A0A2-D3E9-4330-9913-0285B5BB45D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f730adab35de73e628a601cd75c66c0f7541eb3","datavalue":{"value":"continuation style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974480$FF683444-5D2F-4AA3-AB77-9E91BF1EEB0E","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":"Q1974480$ABC71E66-D40A-4BF0-9464-FB3B6773CAA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e27fc4764eafc94e85ed2d00dec35bc66a486cf","datavalue":{"value":"https://doi.org/10.1007/s001650050041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974480$C5865F55-3341-4B95-8B1C-95870F9158CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b9bfa05e59ab7ac56ae440cf4d3ff038a0f261e","datavalue":{"value":"W1977285241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974480$281DD6E6-08DB-4D1C-AA13-298249B25C55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23e50b060560d27bd38d89994f42ddf88ab899bb","datavalue":{"value":"10.1007/S001650050041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974480$2645FF36-6C65-4C5B-A9E4-E7B42B6FE014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992c6d71b44c1d68d8fc67a1d1533e98c8963ff","datavalue":{"value":{"entity-type":"item","numeric-id":3793703,"id":"Q3793703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b30c338b57e259ec5213c2cb17ebe5d89e2c13","datavalue":{"value":{"amount":"+0.7231706380844116","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":"Q1974480$930038D1-6EBE-46CB-A997-0B4EB6AD9A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43b9b7e830c1a53a3e771a3c9db94cd36dc37ea","datavalue":{"value":{"entity-type":"item","numeric-id":3167025,"id":"Q3167025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9881a15014c8dddce0bb56c8f844560878205cb3","datavalue":{"value":{"amount":"+0.71295565366745","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":"Q1974480$1804F6FF-A880-4B22-8B79-CA8CE07874B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c71cef4eed0bd2f3bb8566ca47fb90561606c","datavalue":{"value":{"entity-type":"item","numeric-id":5890072,"id":"Q5890072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b67468ab960eacc5df53c027c65db657fdd9c4","datavalue":{"value":{"amount":"+0.7128601670265198","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":"Q1974480$483EBE50-07B7-4BC7-A27E-3918AC090A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4610fe29e653a496e2384046c05ca7bc84ead29d","datavalue":{"value":{"entity-type":"item","numeric-id":1924753,"id":"Q1924753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346999fff4ab5238b4ef1d45669b1d18334279a4","datavalue":{"value":{"amount":"+0.7029767036437988","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":"Q1974480$357E1EDB-DFD9-4FB5-A2AC-0B6980E2159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50267358e30911bfce28e693901042853b76eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5713940,"id":"Q5713940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70d77bc99e8954a086c0946755f04bc61130078","datavalue":{"value":{"amount":"+0.7007738947868347","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":"Q1974480$68A49620-2AC6-4357-8B3D-BBA1F6DF9DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1974480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1974480"}}}}}