{"entities":{"Q4263871":{"pageid":6293472,"ns":120,"title":"Item:Q4263871","lastrevid":41824026,"modified":"2025-05-08T18:32:03Z","type":"item","id":"Q4263871","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342281"}},"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":"Q4263871$ACFBBA42-9884-4699-9EBE-CBBD2450656F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4277cddd4e016b355b5ab1f3b459d629d19e3228","datavalue":{"value":"0931.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263871$2B4A646D-F56D-475A-98E0-A45081187FE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8053a0e50a8d9785c9cd466338bb7b75651c1407","datavalue":{"value":{"entity-type":"item","numeric-id":1769598,"id":"Q1769598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263871$048C2485-8274-44B3-AD86-917353511CF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263871$4631D880-EEB6-4237-9D6F-83A6CE564C9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263871$7FBA67A9-90E0-4165-A9CC-37B6E05D1A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263871$720696EA-901D-4205-A49B-54D19DC7E294","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7aa4952a152aca2df3e973a727ccaa265cf458","datavalue":{"value":"1342281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263871$312C0CAA-AE6C-4880-8432-1373CE1FEE61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37cb61266c51b7462bcde29117eec0683b180c22","datavalue":{"value":"Kripke-like parameterized logical predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263871$A5055550-92F0-4FE2-BC11-C229D605245B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4da74f60ba0817abb00e5471296a2644463001","datavalue":{"value":"fragments of intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263871$81E90E24-6E64-4DB5-89C4-7D141AA41B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7253f5fa2a257906f2ae22d9e32e7234463d98f","datavalue":{"value":"category-theoretic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263871$54AE8DC2-C95C-4803-AF8D-AC4196FADC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fffb81fc7b5852a458b991565bff8c3b7120ab8","datavalue":{"value":"categorical glueing construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263871$49B2F6E9-7C8F-4079-A1E8-51EA5D9798F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b565a3aa9f110e3abbcd133712718eac65a9b2","datavalue":{"value":"free symmetric monoidal cocompletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263871$B76BF50F-C722-4A79-A7C8-286E78AD55B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c810dec4d46d2c7518bf6975e3cbe59003f8d6","datavalue":{"value":"translations between linear type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263871$23B11EFF-444C-4659-B000-0762A599E6EA","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":"Q4263871$05CE1AE2-4A61-4AC1-AA48-1255C29822C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1ab5b4b8ee64bb40065351c58b8f75607601c8","datavalue":{"value":{"entity-type":"item","numeric-id":636367,"id":"Q636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddee1d1ca5c0dccda4af0c664896ecab2328ebf6","datavalue":{"value":{"amount":"+0.92633736","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":"Q4263871$4264A9F7-B432-48C1-A564-A3B56A3594D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371bdefbc7d26a872e6752b3d62fc9ba2e00e071","datavalue":{"value":{"entity-type":"item","numeric-id":3832535,"id":"Q3832535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd79c2e5992f9b1423bbfabe286236352ee972b","datavalue":{"value":{"amount":"+0.9141511","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":"Q4263871$3224D72E-4AFB-4B56-8D42-ED68BDEAEABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920cea9b47420f3404cc2d0764270e98aa7d1cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3995928,"id":"Q3995928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd79c2e5992f9b1423bbfabe286236352ee972b","datavalue":{"value":{"amount":"+0.9141511","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":"Q4263871$48DD8D77-2A12-4117-9915-2D318E10F45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988e19e444f14b6a8500e261ce008808e3670889","datavalue":{"value":{"amount":"+0.91393733","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":"Q4263871$E984FF79-EEEC-4617-B800-C8780527048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3eaa505eec6e7d4fe12ba55cb7d1374bc050d9","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cc523eee6c5bfdda7eb2064dedc08f49ab10e9","datavalue":{"value":{"amount":"+0.9127465","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":"Q4263871$D4F1FE91-AB6A-4754-83C3-853B9D31A9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da477c2c0703025ba84d10856f632d6901b6c835","datavalue":{"value":{"entity-type":"item","numeric-id":5466518,"id":"Q5466518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6638236c8c713728cc30907bac9d6c54e2768e33","datavalue":{"value":{"amount":"+0.9083129","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":"Q4263871$649C0A30-AE2C-4A44-BA5D-5F9E92093D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dacc64cc5beb9c3b2e3c0b9c12fff9130c1da4","datavalue":{"value":{"entity-type":"item","numeric-id":4945229,"id":"Q4945229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ea40e9d8f96ce589303b1b6a5e092f740a74b0","datavalue":{"value":{"amount":"+0.9077095","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":"Q4263871$304488B5-A522-4EAC-920A-0E8C48539EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1f9693ec0d98ab2e06fbcb9c52d347a2c772d2","datavalue":{"value":{"entity-type":"item","numeric-id":2467212,"id":"Q2467212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd19acdb99f47037770d02d4aa2e1b49866f268b","datavalue":{"value":{"amount":"+0.90428525","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":"Q4263871$BC9BDA62-D059-4150-BC68-3177CFB8D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e25a58fe340270143dde7b6e2af57fa691dcb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a944ddc369484c9c019d89f8891a87e936ebfe","datavalue":{"value":{"amount":"+0.90418905","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":"Q4263871$BBC77E1A-B9B7-421C-92C2-25E3EB500EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a775f242a7efad6b283cce1c5e10d5f26f8755","datavalue":{"value":{"entity-type":"item","numeric-id":2151394,"id":"Q2151394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7adee8fc84dccf880139ebc91d675fca07aaf3f","datavalue":{"value":{"amount":"+0.9024769","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":"Q4263871$2ED8AC5B-7378-4367-A508-AD991C30FC5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263871"}}}}}