{"entities":{"Q1011333":{"pageid":1013181,"ns":120,"title":"Item:Q1011333","lastrevid":66582981,"modified":"2026-04-12T11:06:08Z","type":"item","id":"Q1011333","labels":{"en":{"language":"en","value":"Realizability. An introduction to its categorical side"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5541585"}},"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":"Q1011333$83DF6B04-59E6-4FAC-BE9B-9DD355DC0D6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8d475850e53868830936a22e6279f1f83ed931c","datavalue":{"value":{"text":"Realizability. An introduction to its categorical side","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1011333$CBEF3E5D-1230-42CE-8134-86AFB4CC2589","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5105b044fae2ea5ae1d4dc3b921ec532cefa80e9","datavalue":{"value":"1225.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$C6DFD265-2DAB-49C6-AE5F-283B67772803","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011333$94D6F40A-BD63-4E51-BF4E-6975179FCB32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1011333$C208F032-A3B5-44D3-A8B9-BFACF663B795","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f40b3ef9769508a999e683e84cbfafd21eff6e3","datavalue":{"value":{"time":"+2009-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1011333$4D174FEE-58DE-4CCE-8F66-A20F2EFEE305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$27DD1403-A5D0-4F52-A1AF-93084EEFDD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$0F516D0B-BB54-49B5-A7BC-974E9E9F0EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$5A9E9756-2200-4BA3-AAC1-F285C7084E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$0CB699C9-C0D2-47DC-BCE9-2FC42E3A7D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$B5FBA137-1DA0-4185-8AA7-6578CF9D0198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$D0E46341-BCCD-425E-ACF6-6CAD6FCA2377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$7934E381-0FF6-4DA1-8CE3-0FE02D5AF328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5ba65f3c6fcfeb5829ff4d0d5bf50dd05add777","datavalue":{"value":"5541585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1011333$6B62F854-FD56-49C5-B7BB-2C452C3CB29A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$0B681629-6435-446F-BA85-9D24CD119145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75bdc75432e86a2c63274d60bc4eb52bb0ca25d","datavalue":{"value":"tripos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$BDEA7102-9146-4985-B504-D2E217044122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$4A186C20-1368-4AEE-A5A6-CE691765555B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$944675A1-6BB9-4A10-9874-CC23FF4ADE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$D6918C32-714F-4B38-84E0-BA97147381DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ab85e6ed587477ef05d6eb082db459f2cd54ed","datavalue":{"value":"assemblies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$1D7356A2-01C2-43CE-917D-F0479EEB9684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$5477FC83-EF68-4BAA-896B-13D7A492BCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$15D81E78-2CE2-4EAD-8CAC-34FB7F1D6E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$93DC14D5-AE26-4446-98EC-48255BA4D770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0391bad2fee4c6f4f188fdfc2009cdd9d0fccc2","datavalue":{"value":"axiomatic computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$191F128F-E634-4237-B32C-391C350A2050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd142dbc3133eeea627130126c05cb0e2d86484","datavalue":{"value":"geometric morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1011333$05F81BAF-1E6F-4296-A1BF-0A0BFE095EDC","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":"Q1011333$D847CDEE-1465-4308-9CB1-8B65213086FE","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":"7e381df92624cda15e0711896bc0e1fd9d088546","datavalue":{"value":{"amount":"+0.8076483011245728","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":"Q1011333$FC4A3B32-17AB-40CA-B752-7FAADF39D7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57112db6be8ddee80e4ab972027b165e3dbd7fbb","datavalue":{"value":{"amount":"+0.8005090355873108","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":"Q1011333$CFBEB53E-D1B9-465F-BF78-B68BF3008819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937fcb6cf9e4dda9108338dce3f015f2727a43a9","datavalue":{"value":{"entity-type":"item","numeric-id":5450701,"id":"Q5450701"},"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":"Q1011333$32C1760B-3CA9-4DC9-BA25-B286F0C5983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a54779f34ff896ecc51133063182d7ae9b296d","datavalue":{"value":{"entity-type":"item","numeric-id":1574785,"id":"Q1574785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07b89d08e284dfdf7dc4c76142ed5a977b1009a","datavalue":{"value":{"amount":"+0.7933864593505859","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":"Q1011333$939A7424-21CE-4006-A05E-218FEF6EE2ED","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":"e07b89d08e284dfdf7dc4c76142ed5a977b1009a","datavalue":{"value":{"amount":"+0.7933864593505859","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":"Q1011333$2CED77F1-1151-4B69-B7F4-028D72D36E92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability. An introduction to its categorical side","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability._An_introduction_to_its_categorical_side"}}}}}