{"entities":{"Q4596801":{"pageid":6626386,"ns":120,"title":"Item:Q4596801","lastrevid":58287933,"modified":"2026-04-04T14:09:10Z","type":"item","id":"Q4596801","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816943"}},"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":"Q4596801$1FEBBD7E-8609-4F3A-BEBF-018484F6F7A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8dacee290b093e41d1370954a447bd04c2c3f7a","datavalue":{"value":"1433.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596801$7ECECAA7-0FBE-4940-9423-2CA9C1DA3D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7f412f4e7f97adeb145f5c4f88595c3b3a0df0d","datavalue":{"value":"10.23638/LMCS-13(4:22)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596801$B6C0A9EA-78AB-4815-8097-E07D1EDE4B94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"938af2ce07fc16cbb0856de7e6d7dfd8979851b4","datavalue":{"value":{"entity-type":"item","numeric-id":283742,"id":"Q283742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596801$B5FCA0EF-415A-4442-8D5B-B1C8651A585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596801$17FE0B6E-1535-4220-895C-8DDC30731D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596801$D9EA1314-41D4-42ED-98B6-9C00A0223179","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596801$C4BC3597-D6B4-4D36-B22E-2868ED5505ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bac89fcc1637d14a68f4ac1464b7eba749b19559","datavalue":{"value":"https://arxiv.org/abs/1504.03995","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596801$823487F5-87C2-4F45-9C2E-CC13B57B8A9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596801$42797B07-8C40-40E8-958E-610D76B67433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596801$0F6F540E-0D40-47A0-87A6-E9A41194F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596801$75B2A865-8960-4545-84A4-47E24E8CA91B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ccb78a92fab214a703ed36cc2d9c3709fb75066","datavalue":{"value":"6816943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596801$86583A05-CB6C-457C-8F3D-494E09F42DF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b1c0cdebab056f48262c8d55665d2570dccce8","datavalue":{"value":"extensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596801$8E946018-7C0D-4A29-95FA-E77AA128EA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596801$E74773CB-0CB3-439C-9202-7BEB426949E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a775306490fcef66ca55106f6c6311ef34a233ab","datavalue":{"value":"locally Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596801$3C887CEE-33F2-4186-8FFD-EBBD2ED58ABA","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":"Q4596801$313A12FC-1081-4037-A721-D899B7C4DAAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28c114afc65581fbf531524284c58cfb0c94410","datavalue":{"value":{"entity-type":"item","numeric-id":5277836,"id":"Q5277836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81423098c2c4f470e5875cbb2fbeec3bdd3da8eb","datavalue":{"value":{"amount":"+0.98641014","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":"Q4596801$0AE03B30-7392-4637-950E-C9B78D60693D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0085955ed77a4c3b3af19d7b14022510d9a7bd4f","datavalue":{"value":{"entity-type":"item","numeric-id":524707,"id":"Q524707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce1f0973a67bebfce0eb16906bf66b60881bedb","datavalue":{"value":{"amount":"+0.87671727","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":"Q4596801$037AB4E7-B175-4B6A-B1E5-CCBDE015616E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bcb9fcff6e5c863181081abdeb8d612a994e9e","datavalue":{"value":{"entity-type":"item","numeric-id":914668,"id":"Q914668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e138833866be24b59e08d793ba6879e5fef1575d","datavalue":{"value":{"amount":"+0.8682314","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":"Q4596801$E7295C58-26A1-4927-B8C0-C63EA3BD41C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be61c6262bac93d8a4fe50daae264d0e0d38bd0","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ddb444854ef64951c2af0988f0ddefc4ee35239","datavalue":{"value":{"amount":"+0.8665356","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":"Q4596801$F0A71CE7-2B84-4A2B-A999-74CEF4E6C772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d735984083273d53c2a52f278610c64fc778d65a","datavalue":{"value":{"entity-type":"item","numeric-id":3007659,"id":"Q3007659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843ae7b1fcdf437c56868c2e6f93f3cfc38b8fef","datavalue":{"value":{"amount":"+0.86653554","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":"Q4596801$34E6E86F-AE55-4664-950F-E4E0E90E7CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13640098c8fbc8e6943b1bebe7daa70af1c2a0f0","datavalue":{"value":{"entity-type":"item","numeric-id":1771892,"id":"Q1771892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833bcd0543d95e0136f32987403beee83e1e824b","datavalue":{"value":{"amount":"+0.86449426","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":"Q4596801$F2D807FE-351C-424D-9F01-DCCF19A47730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef9da17352b7f2d1957af2a8dc8b66ed5caba22","datavalue":{"value":{"entity-type":"item","numeric-id":4358059,"id":"Q4358059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123f8ee219e927ac06c2a12c9aed494f9264b9ea","datavalue":{"value":{"amount":"+0.8616439","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":"Q4596801$0A3117B1-DCD7-4563-B491-1A9E78D5F68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97274e5b706057c04d2f9bd2ad40eb2a7f3941e0","datavalue":{"value":{"amount":"+0.86115605","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":"Q4596801$F77820F5-083C-41FA-9E69-E27D967C14C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616f5d4128240f17ff9799537ace9f2781459e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4715672,"id":"Q4715672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60edf13817d24b139483b3ea885fa2421bf2ceb2","datavalue":{"value":{"amount":"+0.8585944","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":"Q4596801$CADFD23C-A7DC-48FA-B73B-99CB1BF7A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07b8520003a50a4a34298f384d9fd7ee48e47bd","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085eae052cbe84af84cde04a356a4ef0cea2b0a5","datavalue":{"value":{"amount":"+0.8585511","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":"Q4596801$7C2C6AFD-3EAF-4E53-BEAA-FE2DFF94FDC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596801"}}}}}