{"entities":{"Q2257308":{"pageid":2268051,"ns":120,"title":"Item:Q2257308","lastrevid":71698011,"modified":"2026-04-13T23:57:38Z","type":"item","id":"Q2257308","labels":{"en":{"language":"en","value":"A Kripke model for simplicial sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6407636"}},"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":"Q2257308$C9FDBB47-F905-46D5-B7E0-25198C677758","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c6c61fc365958a39bfc6338352888aec10759b6","datavalue":{"value":{"text":"A Kripke model for simplicial sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2257308$9F81CD22-00BD-4AE9-9D9E-751C74CB7777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c43fb52660c4ccaf1203bb3eb9812ea60536f56","datavalue":{"value":"1350.18020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$A26AF22A-F2EB-40B5-9B16-169EBA14C3E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$44613A41-76A3-4A6C-B777-FBC1CC3C3498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$1C81B8CB-3D88-4177-B98C-15DAB9740E70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$2E4CECCF-6DDE-48FE-935B-03F6719EE490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cb8647e1834afa0f41f9acdba03ee776517e7af","datavalue":{"value":{"time":"+2015-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2257308$A7DF10D9-E0BB-4D65-93D3-37F378E347D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$8DE83D89-F177-4A56-8A20-5F7694CB6052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$CD50C753-D47E-41E1-AFE4-4DB53328A41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$F5887AC0-B241-4D38-A099-8645775B17C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$CC3DD3EF-F53B-46CE-9948-CB579573E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$0E83BEC4-650C-44B3-9F1F-9622B63326F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1371344aae629fb65bd5b41ae61748d9606b270f","datavalue":{"value":"6407636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$FFAD9E8E-5528-4081-9D0C-6BC7FF4A649F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b664449aba1f47d8015b04a9617165bd2e3d42","datavalue":{"value":"simplicial set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257308$19732233-EBC3-4EFB-9296-54B58414A480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257308$5B1ACD75-2400-4CFA-A4F0-466777F7A99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257308$AEE092AA-2078-4E22-879B-72C284D570F1","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":"Q2257308$49BB1A60-411C-47C2-8989-C4933655CD57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ebf847357a1d1336b127c2d5194ec15f3e93f80","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.01.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2257308$AD75503C-8C93-4DC8-8063-1970AFD6D0B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96d5f401e786b752d30401f1296456b9dd523110","datavalue":{"value":"W2063617540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$AE0E27F9-8C1C-46C7-BA20-800021EDCD74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd02e31f66051d9c615706ea8452aa9fa2ef5824","datavalue":{"value":{"entity-type":"item","numeric-id":5740650,"id":"Q5740650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$8FD762A5-F0A6-491E-916C-903CBA3456D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$BFA91348-294A-4169-98E2-4FD189B93829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8569e46b6ebf9bdf790ad48b6a4dab614e1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5550390,"id":"Q5550390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$0EAC8AC0-7B13-4D71-B930-B71DEA48437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f743a02b93ba8a7aa10f804a87a9e4e302de06","datavalue":{"value":{"entity-type":"item","numeric-id":5906407,"id":"Q5906407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$C4297CC8-D740-46A9-982D-843C6ABF8122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$8A806CA8-CB19-4ABA-9957-057BAF5C02F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257308$C9C4B457-BC49-49E8-939F-1FCF6C99CCAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f265e598c9bbe1ba8906e38f9124d936c062429","datavalue":{"value":"10.1016/J.TCS.2015.01.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257308$CAF2FDBD-6C7A-418E-AE4A-AACABE9F8AE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kripke model for simplicial sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Kripke_model_for_simplicial_sets"}}}}}