{"entities":{"Q4900225":{"pageid":6929804,"ns":120,"title":"Item:Q4900225","lastrevid":51631163,"modified":"2026-01-19T04:01:52Z","type":"item","id":"Q4900225","labels":{"en":{"language":"en","value":"Effective topos as a synthetic universe for the theory of computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125118"}},"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":"Q4900225$52E2F445-BD97-4A21-BC55-249C9DD4F6E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36211798e1e767d33334082acfaead11224e6cfe","datavalue":{"value":"1265.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900225$4D37DB97-072E-4074-AA12-1A01B21EB365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d77e170ff73963a7e3bb7a4b831df0ebfbd22c","datavalue":{"value":{"entity-type":"item","numeric-id":4900224,"id":"Q4900224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900225$21D40E0C-D044-4352-B8C1-422A07586896","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4900225$7F48CC4E-1FFF-4BBE-B97E-E35838647E90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78f70b0fac5624cc3015cd2d0688b8cb23090619","datavalue":{"value":"http://msm.univer.omsk.su/jrn19.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4900225$D7EE5F3E-B978-48AD-87E9-619182BC9FC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900225$D5353E8B-E34C-4A46-8690-700152A1520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900225$AA7428C0-0AE6-4332-A158-E203FCB1E751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900225$BACD1631-0EFE-44CA-9991-4DD806501D9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64a2d79a87e9d80bec8381b2b0c26431f648eede","datavalue":{"value":"6125118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900225$632E4E2C-E287-4A9C-A36F-1CD9C51D875E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900225$2043621D-39EE-44AD-9D1B-1B69ACB964EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471e9dc487a56b5f3ea73c701ec3a9aa5d2cc274","datavalue":{"value":"theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900225$33FFAD51-3646-4464-9CFC-D334984BBF3C","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":"Q4900225$54EEA248-1E0A-4358-BD6E-98245CF50B77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302b4e367f5294ba1c50469543a307699673e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3469268,"id":"Q3469268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d3cc78394e6c4954f1905ab2f9449246fc40a3","datavalue":{"value":{"amount":"+0.7865548729896545","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":"Q4900225$8EEAA736-9162-4740-9793-45A056B8C087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a1fb3e505ae0fd112fa6c9bb11cf1d60ce8eba","datavalue":{"value":{"entity-type":"item","numeric-id":911584,"id":"Q911584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2901ae5bcaa6dc461e9f49541ced39719a1547e4","datavalue":{"value":{"amount":"+0.7682154178619385","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":"Q4900225$52B9668F-A5D8-40BA-AA29-4A9F2C66CCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20d4cac3978e8d814d2c63483cb7723297e6084","datavalue":{"value":{"entity-type":"item","numeric-id":4729784,"id":"Q4729784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3a69085bf07e2d4a6ea4cc78bb8ee26b9b42b0","datavalue":{"value":{"amount":"+0.7505174875259399","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":"Q4900225$5F0FA35F-3141-4B6E-ADCE-08892E925742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e87cd42afa1fd7961c1db195a75b892706e9970","datavalue":{"value":{"entity-type":"item","numeric-id":3784071,"id":"Q3784071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db8e3614b9f5190821c2e1f1c799d18344f7dc0","datavalue":{"value":{"amount":"+0.7504000663757324","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":"Q4900225$D8E3B0A3-408C-41F5-8B1B-163627B187AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f592cd0091168ab5612b8b994ab03a5fcf2519b2","datavalue":{"value":{"entity-type":"item","numeric-id":2852343,"id":"Q2852343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92acc150d71ab177018b8e1a724d909cb3f91df3","datavalue":{"value":{"amount":"+0.748151421546936","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":"Q4900225$9C513A0E-F462-4F7F-AA66-2296309F3697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4900225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4900225"}}}}}