{"entities":{"Q3334967":{"pageid":3345675,"ns":120,"title":"Item:Q3334967","lastrevid":86879987,"modified":"2026-06-04T10:05:34Z","type":"item","id":"Q3334967","labels":{"en":{"language":"en","value":"On the Existence of Cook Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868589"}},"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":"Q3334967$61C1E8B6-F5F7-4FC1-A742-87E8C0960FAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbd0afa5b92bd7f44c71f23289906ef0a00d23c5","datavalue":{"value":{"text":"On the Existence of Cook Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3334967$67A53620-9562-4CE9-99DE-B4016EC63AB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cadf7b909b427835816899cb458167b2ba6a82f4","datavalue":{"value":"0545.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334967$C2598C23-256E-464E-8C59-9C9739A3577A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d76c323b5044a09f9e754fae5584d71078965b6d","datavalue":{"value":"10.1137/0213001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334967$45384A71-362C-49D4-91E3-E4C1B86F6840","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0455478ddd5fefa0496ea6a41639bc87ae53258","datavalue":{"value":{"entity-type":"item","numeric-id":1111939,"id":"Q1111939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334967$99FD0F65-226C-4BC6-B797-39026388C8A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3334967$EB44478D-9E1E-4F0D-9D9F-A021648C1F8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3334967$47A11F1C-E3AF-4790-8795-F9DCFD638032","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334967$AFCD4528-99F2-4DFE-82F2-D2CFF93E7997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334967$81B44A22-6916-42B9-A887-32AAB060FA90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c14ce5ec397e80b8418d54e31270600e95b37eb","datavalue":{"value":"3868589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334967$7029ECF1-062A-4EB7-A8DF-9EBF55F09B5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334967$CCC9D4CD-DF6C-4E44-989A-BDDD034E3567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334967$A4611607-19FA-443A-81C9-4FCDB17385A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334967$03E447DA-94BA-46A9-BD43-A76950BFA67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334967$F7CCACBE-358D-479F-9FF8-CD62AD4096E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e659c0dd63b1987ed9bd275c424b66e41c92a04","datavalue":{"value":"continuation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3334967$DDBC8E55-9C55-44D5-A65B-35B112377625","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":"Q3334967$8FF5C9A9-C376-4295-9874-8ACB408EF22E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a9b1ddf3c032570c23ff4449ef99a36e8a8663b","datavalue":{"value":"https://doi.org/10.1137/0213001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3334967$8AE9A734-FA27-45B5-BEE1-15B7E71D62AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5918e6e55a8ca85244335edf81a0e806151a4c79","datavalue":{"value":"W2076908926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3334967$4A0911F5-6BC9-4B8C-A18E-275A2937F6E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489e6430505018a743b082bc90fd38dbc6c3ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1173767,"id":"Q1173767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0cc4043e82eeaecc485f216476fa912530a051","datavalue":{"value":{"amount":"+0.7486857771873474","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":"Q3334967$737DD9F8-DB23-485D-8216-C2CF6A286DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fce6f8ad6b8c888ba1179087486e580713294fa","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec11ce784fe5f7bdbfdce548c03ccfd0c948c4d","datavalue":{"value":{"amount":"+0.7478793263435364","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":"Q3334967$9157C897-B94A-4FB1-B177-F4626D995616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4749fdb10852b39ea478a4336a7d24f70e618c28","datavalue":{"value":{"entity-type":"item","numeric-id":3975030,"id":"Q3975030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bea319b8588ac897e5181c5b9ddcb68ddd63c0","datavalue":{"value":{"amount":"+0.7295877933502197","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":"Q3334967$99E433A4-EC85-4D36-8203-7109AE513415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c763a60908ad49eb4e928d43ea0aee9b295a3302","datavalue":{"value":{"entity-type":"item","numeric-id":3774922,"id":"Q3774922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bea319b8588ac897e5181c5b9ddcb68ddd63c0","datavalue":{"value":{"amount":"+0.7295877933502197","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":"Q3334967$4099FF42-3810-43B1-8EDE-D1E15211BAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c5e69d703007b3cbf501ee3f528c126a08e68","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5023f9478a5141d1847f6f9a51dc401e71c9471a","datavalue":{"value":{"amount":"+0.7233150601387024","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":"Q3334967$372695E9-88DC-46A5-A0A3-4B5FCF65C596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Existence of Cook Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Existence_of_Cook_Semantics"}}}}}