{"entities":{"Q847545":{"pageid":849393,"ns":120,"title":"Item:Q847545","lastrevid":64798236,"modified":"2026-04-11T22:17:59Z","type":"item","id":"Q847545","labels":{"en":{"language":"en","value":"A logic of injectivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5672967"}},"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":"Q847545$E5A43569-EF74-4A5B-AB48-291931D2296E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0feeca85a174f1438c0118fa38e4e8dfb2559e4c","datavalue":{"value":{"text":"A logic of injectivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q847545$70D9BF6E-3A13-44D8-97B1-50C3B35D156B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa2d7590a898ec99a43e32434bf8a28ba70f3d6c","datavalue":{"value":"1184.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$33FA318E-7EA8-4157-9331-C85E64B13DDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847545$88CD7D67-1CD8-4C44-A817-50F29376A77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847545$68D08A27-CA10-4292-9CBD-3DB347C70D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ff9aa4caa3194b00b8bb216dd53940d0993fa24","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847545$161BCEA6-6170-4236-B283-07DD3F08D49F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847545$875F3E63-EF45-47B5-8F59-0F75326411DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4af0db81dac7c2480dc93c63201edcba2181fc7e","datavalue":{"value":{"time":"+2010-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q847545$1D88A6F1-E551-4ACC-9E9A-9F31944F9877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b37b3e45777fee502129493ff16af4c2fdee6f8","datavalue":{"value":"https://arxiv.org/abs/0709.2461","type":"string"},"datatype":"url"},"type":"statement","id":"Q847545$D39768A8-24D4-4156-80CD-EEFEAD633E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b6ca0d3072cc49238907844f2ec9c2a7e8a9cc2","datavalue":{"value":"https://eudml.org/doc/223445","type":"string"},"datatype":"url"},"type":"statement","id":"Q847545$AD872B2A-982C-487B-8178-044773D2E9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b89c89fcca7528511cf10235642186020391ddf3","datavalue":{"value":"http://www.emis.de/journals/JHRS/volumes/2007/n2a4/abstract.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q847545$5863694B-B7FC-46FC-AA65-2DF10CFE83D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$B6863726-6157-4FB3-A2EE-B37C20C67A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$9325787F-C934-4C46-8627-617BBC8E0986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$FF8FEF15-EAEC-4D6A-A084-76E636B3C2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$BC600EAD-3052-4684-BEC8-ED200E0D0612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$51B6B142-B9D7-4D59-A9AA-DA9B73A5BE63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cef46842af47cd21cbeed10f80a4871acceaeaa","datavalue":{"value":"5672967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847545$3B025724-5702-480F-8D30-48525B40E5B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38cae683841be176f7930e9d9f31e6dc31d87fa","datavalue":{"value":"injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q847545$B49AE1F3-BADA-4066-9B5D-6D3B0286192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fff528cdafd7efbd4a2cfe55470ba98f21ceff6","datavalue":{"value":"logic of injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q847545$7CDEEA9D-5C01-48F9-B6E3-39EE73BEF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdf9f9996c240a5178bb7fc87d3f34499208c47","datavalue":{"value":"deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q847545$7CCFF110-3F65-4A72-BAEC-1761AD026A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9841aff4cee06e438ba1e5d6585a1b71f08c4659","datavalue":{"value":"small object argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q847545$15FF6392-A33D-47D8-B1D7-83D98070A807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3429c2f63d27b5fad42c07e1db8f305519b0e7e1","datavalue":{"value":"locally presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q847545$1C38313E-B5D6-44E0-8D4C-578CB96D0347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136d2df821047f718c851713c8896dc43a3d1603","datavalue":{"value":"strongly locally ranked categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q847545$C1B6D1C7-BE99-4DFF-B288-2A864BA25840","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":"Q847545$4E91417D-932D-4103-9E18-CED8E062DD7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af2adef1c4f60b93fc90835acfef6e559a2e0f3","datavalue":{"value":{"entity-type":"item","numeric-id":2783423,"id":"Q2783423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af42529faaa977578f27205c68fd61c939f0805","datavalue":{"value":{"amount":"+0.7925083637237549","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":"Q847545$58FDD1F8-0125-4AC3-9944-CA28A2257934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0163693df1fcd971d7caa00f043005bc4e851205","datavalue":{"value":{"entity-type":"item","numeric-id":3539842,"id":"Q3539842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836bc1f68ef9358f2ab0d4a38dfe40f3ee9f317a","datavalue":{"value":{"amount":"+0.761944591999054","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":"Q847545$5BCEFF23-EB3D-476A-8222-EFF9E1C05A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d28f0152ef855320b56c370c660f0929d4ef96","datavalue":{"value":{"entity-type":"item","numeric-id":3729138,"id":"Q3729138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821751eb59d9f269937d5ea445c230ec659dcdfd","datavalue":{"value":{"amount":"+0.7483628988265991","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":"Q847545$F4190873-5374-4B28-BE92-59A6BFDD90E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0c776d3f464f8f9f3d746766da5bbcf9be66ed","datavalue":{"value":{"entity-type":"item","numeric-id":3499954,"id":"Q3499954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681e3e3610574757b32af4134bb468b8187646f7","datavalue":{"value":{"amount":"+0.7450687289237976","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":"Q847545$AA608F02-B4AF-4D86-8992-31BCD8173026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424ce906378a64319905fcbc47e6c98c97eadb3b","datavalue":{"value":{"entity-type":"item","numeric-id":3574402,"id":"Q3574402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef05c933cbe1842ff7fe94dfb88c0a27fc486241","datavalue":{"value":{"amount":"+0.7446593046188354","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":"Q847545$AF978E4E-E0AA-4269-902C-E82BBD371134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic of injectivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_of_injectivity"}}}}}