{"entities":{"Q6123585":{"pageid":13257892,"ns":120,"title":"Item:Q6123585","lastrevid":58695180,"modified":"2026-04-06T08:57:04Z","type":"item","id":"Q6123585","labels":{"en":{"language":"en","value":"POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827893"}},"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":"Q6123585$463BFD35-4B9B-481B-8434-EEECE51F40FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94b7f0fed7bbff03d613b1bb5668291a5d8aef5b","datavalue":{"value":{"text":"POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6123585$EF4EBCA0-FA44-4E4A-9213-7285B1B243CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e2568da8d256c743a0545e4fe7aefad2b4f99d","datavalue":{"value":{"entity-type":"item","numeric-id":2065113,"id":"Q2065113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$1FDAF58F-C968-42C7-ABB5-520A68D7E2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$EB794728-BC25-4045-9C13-0E4109703496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$2A606DDB-828C-42B9-8ECB-557ED266EA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$73DC9BC7-1B60-4DD8-92A0-16D7928574E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6123585$3A22FA34-5A3D-4121-9FB7-39FE55CB56CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c47614d1c91f3296948f6e7f9bde90a4fa90a05","datavalue":{"value":"https://arxiv.org/abs/2112.07518","type":"string"},"datatype":"url"},"type":"statement","id":"Q6123585$921EF8AA-3D05-4B7B-A833-E3FCE7D12F79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$54016DF1-417C-4E3F-B7D6-787480984E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$508C4B21-0128-48DC-9C92-B1A0D7DD55C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$7217B374-C945-40C1-AE01-63B99C97D9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$56837B11-02F4-42A6-AC12-2EBCDC74FA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$9C1E5E98-3EB5-47E8-B2FB-648EFBF4FB24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f15fdbd1df1cd6e903ad4ec85837cc2894718a3","datavalue":{"value":"7827893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$8F470A52-6B37-47D3-961C-F5C908884D85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304f1d9f5d892e17a47dc9a48af874458414ca5a","datavalue":{"value":"polyhedral semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$5D80CDF3-7D0E-4BEF-A193-E413710D6401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcf024b892c33a419cb185cf554e6954fee50ac","datavalue":{"value":"nerve criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$B2F0E9E1-A388-43D0-8F10-98EBC7120810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697ea54bab1968cabfe19d5ba1aa3a80e51153b1","datavalue":{"value":"nerve","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$B5C30BE9-D843-4D88-BB5F-D16E5CACCC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cf64c54dd8b9e21b7feb5adcaaa81860fae627c","datavalue":{"value":"starlike tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$BC04490B-0B0A-4DDD-BF68-2FC012427B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f2a96a2b64089759dd2d2593ced2328c88f9b6","datavalue":{"value":"polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$A7751FBD-FA46-4EBF-9E32-3143D01678E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$03AAEC8E-6A77-4816-A621-33E527EFD7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$8CCA0F1E-B781-4574-962F-B06184437A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"219a724ad043c6deb5bba3b697bfa851c140be03","datavalue":{"value":"Jankov-Fine formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$0C11B384-1B14-4981-8612-00DE262E7920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3b97137fc5cddeb53bb49b8b441b42d47d65a","datavalue":{"value":"triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$C350D73E-7703-4AB0-AA59-DD5529415C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dde588d49fdd98eaa11e965525c7338aa4a1e8f","datavalue":{"value":"rational polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$D953EEC5-8DEC-4D87-BF0F-4092CF072D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8db6cc215dbb540e4aa3823064dc7bb40a0b3a57","datavalue":{"value":"barycentric subdivision","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$F3857736-EDA3-4A86-9E11-44F2D6BC78FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20715258ac3501e0f4e2ec0ac9c4154940fd400b","datavalue":{"value":"graded poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$76C6FC98-7152-4055-A7A3-B2402EBAB862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5709a4d6559a02efbb7ae2aedce6db0b9babfcd4","datavalue":{"value":"geometric realisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$10C99F29-5502-496D-B270-44B199944C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa989b195e9cc0a87f5f66b09ab265cc4a8c27b","datavalue":{"value":"\\(p\\)-morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6123585$9E187E0C-79F1-45A6-B2CE-A4A712BC6795","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":"Q6123585$E9BD949F-44C6-4325-8093-50FC6F891905","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d5c87ceb0ea470845bf6feedf9ba14ccdc5c44c","datavalue":{"value":"W4309005192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$345EE472-9436-4A2F-91A3-47BDCAC8EDCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$8B690A7F-F180-4271-944A-2A482D1B78BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$CC14EE25-90B3-4067-BE8D-AF2C905BD7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe8fbfd8b07cc4614253ef1dbf6c75fef2a5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1419386,"id":"Q1419386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$9E3D763F-BBEF-4964-B096-F76DB675A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc0682cbdad3c068b535719a4b4aca6cbabc5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4112553,"id":"Q4112553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$F30D673A-232B-44D3-BD38-C04B2C2CEE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$010CF0D3-297F-4799-87BE-2F6E0DF7F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792fef42b85a3ec25283a772a91cc556fe1ff056","datavalue":{"value":{"entity-type":"item","numeric-id":509602,"id":"Q509602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$C1962889-469D-4A2B-AF5E-1D99677FC0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fb247b674517e0817847aba98e7c1152ee3767","datavalue":{"value":{"entity-type":"item","numeric-id":535140,"id":"Q535140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$A380452C-B878-47C4-9143-0B8841DBF3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbdc2dc5c918b63212f230aa25135c936131c2","datavalue":{"value":{"entity-type":"item","numeric-id":1706265,"id":"Q1706265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$17C3B2FE-47C9-435F-99DC-2B1A5E23D780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$14BEF288-1AA2-4661-923D-7C8CAF2D4DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$DB3F8AE6-F235-479F-85E1-35B7E0097899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5089fc6939f97e1a5c71705d3e8b1fb112d6b93","datavalue":{"value":{"entity-type":"item","numeric-id":5605151,"id":"Q5605151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$D8DA3C5E-875B-405C-AA3C-6E86A1926C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$F347CF0E-6D46-4F18-896D-8E467A711790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$DA213422-C313-46EB-9BBE-5388F5D5D09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03fdcecc646fef5eace9befbd175955300fb162","datavalue":{"value":{"entity-type":"item","numeric-id":626097,"id":"Q626097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$923E82B3-089E-4100-837B-1CB2F7657A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$D45E0D80-B421-4040-8A54-005F290696EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$7B1DF28C-DD11-4AF3-B92E-A14D106E984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef0ae29403da19780240ba90c57c313cc746811","datavalue":{"value":{"entity-type":"item","numeric-id":5667781,"id":"Q5667781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$DCF75F37-365D-4047-B687-CBFDAF4E9223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b577a5ad520b7e73cb32be324a751e863dbbfbdf","datavalue":{"value":{"entity-type":"item","numeric-id":5522742,"id":"Q5522742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$E0872AE3-D475-4797-817A-D9B195C05F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d825095afe6e2215dbc5ab36153017eec07800e3","datavalue":{"value":{"entity-type":"item","numeric-id":4344108,"id":"Q4344108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$734B1B89-C1D9-41BE-A28E-A695004D2AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3663cb5ac31f9c3e3a6373116cc63e94db6c35b1","datavalue":{"value":{"entity-type":"item","numeric-id":5769244,"id":"Q5769244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$4B6AF078-F158-4936-A1DE-491E2E5D930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eee827aff0165533cd914f7395094c7d3915d55","datavalue":{"value":{"entity-type":"item","numeric-id":5771194,"id":"Q5771194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$E1C8DD29-637F-46D5-92C3-585C50A90515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f64e7545142bd70b49f45596d8386b00858bd45","datavalue":{"value":{"entity-type":"item","numeric-id":3864537,"id":"Q3864537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$977E4C93-FFDD-404E-88F2-4CE49F3EC06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49138e24cbec8ada0feb5d3f4c8c21a3f8ac022","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6123585$FEE389C5-F86A-4F72-A7C7-7AF06C666A1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"544e83d0cc419143a4de57150dd78dcef3d15fa7","datavalue":{"value":"10.1017/JSL.2022.76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6123585$0CDDC187-3C96-401A-A75B-0E525A687565","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":"Q6123585$AB1CB5B4-C489-4E52-89B8-FC9C8C11A8AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6123585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6123585"}}}}}