{"entities":{"Q4879901":{"pageid":6909480,"ns":120,"title":"Item:Q4879901","lastrevid":41128393,"modified":"2025-04-18T10:05:43Z","type":"item","id":"Q4879901","labels":{"en":{"language":"en","value":"Two remarks on the Lifschitz realizability topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883459"}},"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":"Q4879901$CEB3F972-BF75-4E96-BBF2-A9B7A22AF963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a290469142173ea586873998f0ab84ff5419d69","datavalue":{"value":{"text":"Two remarks on the Lifschitz realizability topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879901$688234E5-2838-43EC-9E49-024983869EC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"088dc1c0288810d5da13e335a07950b4d1b26555","datavalue":{"value":"0854.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$0A7D0A9E-A12C-482B-A451-8AF12F6E5CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d59ad156fcaa65d72ea6b4b3b59d091f47b4cf4","datavalue":{"value":"10.2307/2275598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$1496AA5A-E537-42A1-8BCE-C7607C6B6CA7","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":"Q4879901$4FCBC098-FCC8-496C-833C-1C6D9AC59D8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879901$9852CBDF-9B70-43FB-AB9C-2860DF0F8CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-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":"Q4879901$F4A9D0BC-8275-43A4-A8E7-5B47177777AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$77C3FD1C-9DF3-41C6-855C-4A6CB215DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$B0416FA2-2345-4F0C-B5FC-0FB6A8831382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$91DE3989-313E-4612-9B86-E058EB7712C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3683ab22ea3ed04cb224235cc9233daf5769bb0e","datavalue":{"value":"883459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$70236B56-B4D3-4FA3-8AFE-F64AD256912E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879901$7C7004C1-619D-4C66-96C6-8C3CA9B6CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8639b0275fdc3afcbab7f66850ad7127aed4be5","datavalue":{"value":"Lifschitz realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879901$24C26ACD-8FCE-4CE9-A653-6DFC3553B23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879901$DB9B92E6-AECA-4708-B691-918FA169D176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9baa187fbf0f0681efaa629936b7bf4ce7ad2b76","datavalue":{"value":"impredicative type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879901$960BA6BC-1E10-4ABE-B112-15B1D002D529","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":"Q4879901$AEECE60C-F28E-4412-99BB-95B39D307440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3cd8d538270065258a2637fb48e50aa6c3b09af","datavalue":{"value":"https://doi.org/10.2307/2275598","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879901$FEAD507D-F068-4470-BD66-CA9DA5C2D2BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12a5b43d3e9f000e4f601915a3db2c3e1a534abc","datavalue":{"value":"W2013452787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879901$4352D6F2-8313-45E8-B871-7EE398FC48AE","rank":"normal"}],"P223":[{"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":"Q4879901$8AED3BB7-859B-4DDB-8927-C04054B3BCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879901$3D8E23D2-6C3F-40BD-975D-EB70606C3A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524fcac44424c63cd17ad9e208583b30a011d253","datavalue":{"value":{"entity-type":"item","numeric-id":3985093,"id":"Q3985093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879901$ACD23063-A181-448E-BCCF-2E28929474C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c710e855a61cc8b7548a0edc8f8269daa05d811","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879901$C4BE7983-4346-4A9C-B696-4EE89D97B022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7140527b2a91375a6cadeafe7ad81a288787cf5","datavalue":{"value":{"entity-type":"item","numeric-id":3469268,"id":"Q3469268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879901$817DC78B-D25F-4EE0-B9E5-EF354522CCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879901$A50EA942-9BC4-4EA9-823E-03C6B114D37C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4067ae2d880ffb4902c82352ef360606ffb0321","datavalue":{"value":{"entity-type":"item","numeric-id":5858930,"id":"Q5858930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d2c306bfe570901a75809a77be050224e1a647","datavalue":{"value":{"amount":"+0.9275848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$26A96995-03ED-47F5-8E46-90116A4FD7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317652fb99f0be1e9e36e60dabe75be470929a59","datavalue":{"value":{"entity-type":"item","numeric-id":3826731,"id":"Q3826731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab48898d9e4d17d47062e174673a1e2cb4daf6e","datavalue":{"value":{"amount":"+0.8984963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$52E8784C-0D48-4A45-9F2A-BB5EB7F186F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1630fdbad4d07a5c069220aa32a913b6eb15d13e","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8059604d2ff1fb11e996bb51a9d767798a007399","datavalue":{"value":{"amount":"+0.87501806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$AA8D7917-EFDD-4C41-BF6F-721DB15C3102","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":"ababcd5d0d1d067b4b04953acacd708601ec262d","datavalue":{"value":{"amount":"+0.8692616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$4B35240C-CD28-45F0-885E-1E6A3075D09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004af5df0b5b6fd32e4a79c9a0e5191fa07e091a","datavalue":{"value":{"entity-type":"item","numeric-id":1938396,"id":"Q1938396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cadb7c6819b4a30635224a9faf07dd81d6d5fa1","datavalue":{"value":{"amount":"+0.86197996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$12F3F44C-D1AD-4A1B-89CD-499ACDA42D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688c748bf5e385f5486844eab0ce6c72f9f37b27","datavalue":{"value":{"entity-type":"item","numeric-id":2847361,"id":"Q2847361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e670d552e0750370586877337e7432867739c0","datavalue":{"value":{"amount":"+0.8616624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$A15BAA90-1331-429A-9F37-F25CA6C73AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99e542a29c258c3e27e829f518627b7ee9b087d","datavalue":{"value":{"amount":"+0.8594654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$84DF398E-2B3B-438C-BAE8-9154C1003A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabf00cd57dadaeda4adae1c8cbe9d1766ce61fa","datavalue":{"value":{"entity-type":"item","numeric-id":5413231,"id":"Q5413231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf733e776a2fdf62ba5241523c55ab1534af49a","datavalue":{"value":{"amount":"+0.85817915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$22454945-765A-4849-9A85-0161D2845B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a188befd59e5eea55e3cff8f8b710170b28aadc","datavalue":{"value":{"entity-type":"item","numeric-id":5234143,"id":"Q5234143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f244f0c10486bbee66df1df87780e5362cc81b","datavalue":{"value":{"amount":"+0.8580215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$0A576964-4D39-4C98-BA7B-5500B1E4ECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c27d245be59b8c88520690d61ef34dbc6d74a","datavalue":{"value":{"entity-type":"item","numeric-id":2847273,"id":"Q2847273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f244f0c10486bbee66df1df87780e5362cc81b","datavalue":{"value":{"amount":"+0.8580215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4879901$2D6866F5-AD27-4696-8C1A-D1AFAB2C7E93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879901"}}}}}