{"entities":{"Q1744381":{"pageid":1755123,"ns":120,"title":"Item:Q1744381","lastrevid":53070134,"modified":"2026-01-24T04:09:11Z","type":"item","id":"Q1744381","labels":{"en":{"language":"en","value":"Classical realizability in the CPS target language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862925"}},"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":"Q1744381$579FFC1A-F809-4D55-82F1-76F117E7993A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6b56c12e15217a0ce5fca523768012f8ce8e777","datavalue":{"value":{"text":"Classical realizability in the CPS target language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744381$4F23729D-5666-459B-9841-80DD0AB252E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c355604f2f8dab4d5323b43c3a1ee829d018732b","datavalue":{"value":"1394.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$90F7D140-69D0-4781-9A15-2D2BABB0323E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca6076d2d4cf97e6395c92fd68e50d20bea8c46","datavalue":{"value":{"entity-type":"item","numeric-id":476120,"id":"Q476120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$B02DE4EE-6E86-48F8-99C4-A2A08444D605","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":"Q1744381$53519B02-F9B8-492E-BA97-F0D87A7C2562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$1A509CA1-4D0B-43A2-BB2B-BF990A01F521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$301C25C0-E962-418B-A64F-B7DB39DE9AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$780296E1-0106-4902-B19D-F5C4273A8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$C1647055-2E0F-4A8A-859B-871233CE49C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790069a30b6e8c8269408aed5d142605782d67b0","datavalue":{"value":"6862925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$5432111C-79CB-445A-A189-EFB68F6F9295","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744381$7AA153B0-4591-4878-91A6-01C6AEF6D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d519914b299fde5598469bebf94b4b2cdbfb97b","datavalue":{"value":"ludics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744381$626BF3C9-E12E-41A5-A495-A8901E0EE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744381$58E5640B-5C05-4C6A-81F3-2B8BC71A2D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75bdc75432e86a2c63274d60bc4eb52bb0ca25d","datavalue":{"value":"tripos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744381$6AD70D8C-BE51-44CB-84B6-AD4E637FAA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2852d6b61c908d0ade7cea515d4eddebafb4a0d","datavalue":{"value":"CPS translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744381$459B5AC0-F2A3-4E98-ABF8-F3D9ADC53A95","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":"Q1744381$6AB03E10-A89F-4CCA-8184-7A37D04B0CB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e578e5bb57e274f04cb89186844c77b361abec65","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744381$0CCE1D68-2D4A-491F-8BC6-B7D91BBE0438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7727d64bb2e55b0bc3705e58422dc4104b2e679a","datavalue":{"value":"W2527684024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$A6B530A3-EF70-4A1B-B039-650490E78304","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"16db47ad78e5a934ed9f74522d2201200c3d6879","datavalue":{"value":"Q113317638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$6668E698-6351-437C-8B86-22BD668A1415","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bb49c0201e84eb9265491c2c42472e03f2c66c","datavalue":{"value":{"entity-type":"item","numeric-id":4992396,"id":"Q4992396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$E2318273-0E07-4777-B87C-0BB4873F4CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$9351408A-4FBA-4C09-BF70-6D85881C7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12de2044ce18231b11890ea9775fd9ae372f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3163882,"id":"Q3163882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$0585EF75-EBAA-45B7-9E1E-103F05FD4FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$3112B21A-F588-499D-ACDD-4E4A43A0033F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d232e3eae2c4bdffa4fd11360a8d16f50cd77a","datavalue":{"value":{"entity-type":"item","numeric-id":3737423,"id":"Q3737423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$0C4F9039-5E6D-4EF1-88F7-F56417E7C24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efdfb4b59046f4e92260a32a864477dcf7271946","datavalue":{"value":{"entity-type":"item","numeric-id":5277840,"id":"Q5277840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$23107ABF-024C-4412-BB4B-BEC0A4F1C6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$BFF9327B-D845-4DBB-86B9-6525C5E439D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$23B16B25-B396-4FC0-977D-C249FD3095A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$CBFCE14D-8410-4738-BE00-D06A090A6970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$40C60A4C-E75C-4381-B9AC-D1B6DF26DF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$F7F61F28-0736-4621-B648-904D42BD4842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$E3CECABA-9A0E-414E-A1DE-DE9F49E1843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$6C671E7C-4AC0-4C3E-9411-950E6D96D38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f467bc7e738d5a5a1046302aa48cf4cb7d8fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3003319,"id":"Q3003319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$7BAE0E04-9B7F-49CB-AEA4-854787E201BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bb4eded647a6573e9f421e7f77b3f767264390","datavalue":{"value":{"entity-type":"item","numeric-id":636303,"id":"Q636303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$2C22DC08-05FB-4A6B-BF10-3D27A637A7EB","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":"Q1744381$B70B71A1-2293-45FE-98BF-28DFE2526986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$26327C16-90AE-45B3-9415-C0C9137C648C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$1BB7976A-BC23-4B46-8B32-CDC02034C85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696fde009fca94607eccf727b7e52c27ff64ccb","datavalue":{"value":{"entity-type":"item","numeric-id":534713,"id":"Q534713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$84143635-2C77-46A2-86CF-9F8C57F4E6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193d2ba990381a7c2594630593ddcf0ae9d362f","datavalue":{"value":{"entity-type":"item","numeric-id":4222903,"id":"Q4222903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$A3E1A8BD-D020-4CDF-AF1E-D18BC7877913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$28441DA0-D672-4493-98CD-C90673320C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e6db951320bd1c7b0775a2451dffe951bf68e0","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744381$15BE0BE0-A794-4169-873C-15613007D552","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"784f943e78cdcf76b8cc4e2a8c8b0cf4190ad6e5","datavalue":{"value":"10.1016/J.ENTCS.2016.09.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744381$A26E17FE-918B-4007-AB77-72B7BD2F21A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8d37e32c68b44405ddb0c6dd685997788d0dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5249031,"id":"Q5249031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f200a53bc75c3c65707f1a455175c2a0a7ff7a71","datavalue":{"value":{"amount":"+0.8126093745231628","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":"Q1744381$2A2FC1D3-F4E1-4992-805E-1E26E5476EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692accb3f7a444e19c1bda74f604ab28829a7938","datavalue":{"value":{"entity-type":"item","numeric-id":3007652,"id":"Q3007652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9657d6b489dc74e58b102edeb530e47933f5d44a","datavalue":{"value":{"amount":"+0.799994170665741","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":"Q1744381$6006211C-A2EA-4F2C-B0D7-83687FD1EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9284d1d4ddb2984a594eb28d49a3e916c3a55880","datavalue":{"value":{"entity-type":"item","numeric-id":3644763,"id":"Q3644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65261573aa249ecad1a9e62450ddc12ccfb4d4b4","datavalue":{"value":{"amount":"+0.7517642974853516","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":"Q1744381$6E6DE565-34F2-4F75-9327-581BFC402C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14df4822e2be5c8d6c76e041ce603f8aad7f5de9","datavalue":{"value":{"entity-type":"item","numeric-id":5410238,"id":"Q5410238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f2e38daf5282d6884f6ea1350eb0821e1d8c64","datavalue":{"value":{"amount":"+0.7483711242675781","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":"Q1744381$7A340F91-A9F6-4825-AD9D-37B1061C3ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588b6f3ae56594fe0518785bc7fa4c0b0393d2d0","datavalue":{"value":{"amount":"+0.7385278940200806","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":"Q1744381$A7835DDB-E5F2-4BC1-941E-2B93247AC426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744381"}}}}}