{"entities":{"Q4572006":{"pageid":6601595,"ns":120,"title":"Item:Q4572006","lastrevid":97221668,"modified":"2026-06-05T13:37:49Z","type":"item","id":"Q4572006","labels":{"en":{"language":"en","value":"Labelled reductions, runtime errors, and operational subsumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898429"}},"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":"Q4572006$7260225E-25AD-427F-B79B-E9948778C670","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7f4d841428c94eecbe0f87fdaf665c6bbf199a4","datavalue":{"value":{"text":"Labelled reductions, runtime errors, and operational subsumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4572006$2663F63D-DE65-44AF-B875-4958A5193200","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b984b0e314ac04a93724c56af7ece7f34fa67c3a","datavalue":{"value":"1401.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572006$9A7E3848-068F-4248-AB1A-5810D20BBD57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90ad70c089aea27d51402298b027cff2ca54f163","datavalue":{"value":"10.1007/3-540-63165-8_231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572006$1EED5C4F-12EB-4016-A1B3-521A0550FDF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8f7fd4ad7ccda9da532e915668e205398c673cd","datavalue":{"value":{"entity-type":"item","numeric-id":1127513,"id":"Q1127513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$B5CFF80D-9C24-4CC2-AEC1-237D17F8B823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$C4DA4642-34ED-44FB-BE3E-ABADAD25D7B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4572006$E7F5B999-83DB-4715-A63F-3F099983EADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e726594019abad87bbb154170cbc1cba87bf979a","datavalue":{"value":"https://archive-ouverte.unige.ch/unige:155308","type":"string"},"datatype":"url"},"type":"statement","id":"Q4572006$C6125F5C-BD15-47D6-B456-68F37DF9ADBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572006$599FEAF4-A9D3-4C70-B235-516393F51294","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db836eb7cbefcd21a3391a702d39c77a6d11fccb","datavalue":{"value":"6898429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572006$55635067-C1E6-4822-AC33-2DE22E308B33","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":"Q4572006$834A1313-7BB6-4659-89C1-9368B4527FD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82c4bf81abee3bc43bf58d66b9919833637e71d0","datavalue":{"value":"W1607859075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4572006$E71E4376-7053-429B-ADBF-D3D35A4B01C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$92175455-73C2-46FE-9517-6CC462B9C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11661abb82a22252f9caeca920e1f09c666b5441","datavalue":{"value":{"entity-type":"item","numeric-id":3988831,"id":"Q3988831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$1782E024-E74B-45FB-835A-47DE39F09F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$EF8C71D6-FA1E-430E-84A5-E0E435F4CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3388dbf970b789a6ce9f4583132b9c0ac558fd58","datavalue":{"value":{"entity-type":"item","numeric-id":1813498,"id":"Q1813498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$3E730032-E834-4DFA-ADA6-BAAB0828EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$36591DAD-DDAF-43B8-9410-B6BE6B39AC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$BFF2E3FA-3C78-430C-99E7-D1CC62913BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$1A86634F-FB06-47E8-88C4-8235FEC8073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1887644b2ef4af5ef7c8805f46e5186aa6119bd","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$F58DCB04-A805-43E9-9704-7F89711ADC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e51c309c4d174cc87b1d6825e852068fe50196","datavalue":{"value":{"entity-type":"item","numeric-id":4222927,"id":"Q4222927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$09986ABF-C005-464B-9A28-9CFDFB627BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$971BB4F1-D485-48D5-8887-ABBBC2A337B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$09A42F02-4AD9-40E3-BF2F-946A8F8F915B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b5fb3ffa2fb3482d86dcc086f96e2a3826549","datavalue":{"value":{"entity-type":"item","numeric-id":4887022,"id":"Q4887022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$7DFDD174-2F0E-40E3-A4BB-7C069EBDCC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$B29E7BFE-A72D-46CF-A200-B7D580285B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$591D5C4B-C8BA-4469-B9B2-6C20F79DEBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227e13427c7bf9b6df48be0946b9c623a8e8a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":1923089,"id":"Q1923089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$79E7FCCF-CECA-4CA3-8A82-68F2C0B1BF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$8BAF7C8C-1EEE-4E9A-8B78-4A8A0985A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$D489DAEB-614D-4D03-BAB3-D0D1D36C635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a23b5f1b883353db1792da9968220a0c1143a3","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$0DBA05A7-16F2-47A8-B635-A81C4E5CE96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff07822832d6f2b37392d53640e87cc5f372eae3","datavalue":{"value":{"entity-type":"item","numeric-id":808687,"id":"Q808687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4572006$EF23DA74-10CD-44D8-99E6-93225F38ED99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled reductions, runtime errors, and operational subsumption","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_reductions,_runtime_errors,_and_operational_subsumption"}}}}}