{"entities":{"Q5450701":{"pageid":7480260,"ns":120,"title":"Item:Q5450701","lastrevid":101010638,"modified":"2026-06-05T23:40:57Z","type":"item","id":"Q5450701","labels":{"en":{"language":"en","value":"Iterated realizability as a comma construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5249376"}},"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":"Q5450701$27E30B67-53E1-4F27-A8A4-3A18E2D5D283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7f3ff71434d58fa9632a447666eac640c088e47","datavalue":{"value":{"text":"Iterated realizability as a comma construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5450701$64BE8738-3C7E-41E1-964E-B5147E9587B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44c2fbf8b6bdad9867a7125896bf0e1fb186357f","datavalue":{"value":"1144.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$E5931665-DCCC-45B7-8215-17C5FADA8620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2866822950fbfd603d36358acc523af414c5c54","datavalue":{"value":"10.1017/S0305004107000400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$58414A35-7283-41AD-9B6D-48F1195E3C25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450701$E8D91A02-3E2A-4D14-9047-45E8CE58A664","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"689f1c5bcb9279b19087f6d1d130b866f769f1ce","datavalue":{"value":{"time":"+2008-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5450701$E1BCD70E-7570-4B0A-9B62-54F40AEF7261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$368739FF-30FA-4EF4-871B-5D48BA02E262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$70F42139-4B1A-4723-8F55-C49645983D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$0AAA55D1-2362-4601-AEAD-B154652DC9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$9F67B888-08B2-4463-9039-AE965FFC8AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d5ff9b41f6943ff74b9e55f7a097b6331823608","datavalue":{"value":"5249376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450701$0B46B2DE-6EB1-4DB3-B61F-77FF4F2D6AFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18050aa7d75c2cf253374535896692a9b61eb90f","datavalue":{"value":"iterated realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450701$7639FCB1-12B7-459E-BE74-3175BFF539CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca4f3146fbb144edfbeb1afc018384860afa369","datavalue":{"value":"basic combinatorial object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450701$8824311C-0325-4D0A-8D13-877C8CC4A121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450701$225A0CB6-54F6-43A8-A3FF-253A2F5C5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a66fd348df0a472f2ae3b77cb26189c4805cfa","datavalue":{"value":"lax comma object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450701$AA61FCDE-48F7-4535-80CC-3717F45E8B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd6cc9584ccaa606d69062d2e94bcf604f2dd9f1","datavalue":{"value":{"entity-type":"item","numeric-id":964544,"id":"Q964544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450701$F3B4A372-4164-48AB-88AC-F5F4ECB29832","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":"Q5450701$1D7B120E-304D-4DB0-B9F0-7C12CF24CD85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450701$923AA285-86EC-4418-9A8C-75F35F3A1F32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbeae8599b656d18850bed10f6170863dde4fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3419822,"id":"Q3419822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0e7ca9304825f6d188b51bc8bfd48b49c5294d","datavalue":{"value":{"amount":"+0.8463114500045776","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":"Q5450701$5E54523E-12B5-4F6D-997D-47EF663FA496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79477bc109f9bbee7b69e8f8d59807b215092d42","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb19b6589f3d2a59b0f5c0a01f00d3fb295f4a6","datavalue":{"value":{"amount":"+0.8001959919929504","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":"Q5450701$F01AE233-83CD-44DF-9518-1C32B04DBE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeddfa7e222858745110683417fd4b0159288cf","datavalue":{"value":{"entity-type":"item","numeric-id":5156775,"id":"Q5156775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806113c173ff432f78b08709529f59c86eca09e2","datavalue":{"value":{"amount":"+0.780362606048584","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":"Q5450701$6970ACA8-3DF8-4FA1-8C7F-AFEE370C4FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19788c435fc0aa531f06344ed2c0d89f7d6c822","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af15b1802237c6201f9ee77eeb8959afa48648f","datavalue":{"value":{"amount":"+0.7797932624816895","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":"Q5450701$11B49310-E0F4-44D9-A09B-D6FA5896ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0610109215023d71e476ec965b1fecaf56effd","datavalue":{"value":{"amount":"+0.7742692232131958","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":"Q5450701$3904F583-765D-499B-89C2-95023851F9E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated realizability as a comma construction","badges":[]}}}}}