{"entities":{"Q2991576":{"pageid":3002300,"ns":120,"title":"Item:Q2991576","lastrevid":85621214,"modified":"2026-06-03T10:30:34Z","type":"item","id":"Q2991576","labels":{"en":{"language":"en","value":"Type with module structure and its model of categorical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6613744"}},"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":"Q2991576$3FCCD133-16FD-461D-8B65-28E1BA34F6E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc3b3dd82ec5aca7048aca000117ba538290c186","datavalue":{"value":"1349.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2991576$38DB33B8-B303-4094-9B9E-B436D8D305E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df090a1e6ba6462a076707f73812166498d97722","datavalue":{"value":{"entity-type":"item","numeric-id":2991575,"id":"Q2991575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2991576$0FC979A8-93A8-4024-BFD3-FBD7AFD2ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ed6bbd41ba4edaacd46bfafacf1e9eedd41edb5","datavalue":{"value":{"entity-type":"item","numeric-id":508739,"id":"Q508739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2991576$2229D09F-858E-4978-90AB-5B3F5FA23F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2991576$C1B14CB8-5754-45BA-98A8-BDB9FE3C929D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2991576$4E3D5C05-C1E8-4A8E-849C-887D8721EA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2991576$31AA7977-1729-456A-9765-E43352E4EBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2991576$C2C973F7-3BA8-46F9-8157-EFFDDD3FA42D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb0b080d442120984d75e916791dc2371e5a32aa","datavalue":{"value":"6613744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2991576$482F62DD-E467-4148-806E-4B33D7B72AC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2991576$F37A917A-5FEF-4EF3-8221-548B14A6ADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67b627c05e9adcdd14d8b4e4194a54aba2e6927","datavalue":{"value":"logical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2991576$D6806264-15EB-45D5-B04B-93FBB0D16FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5d4d34f1ae474367376900d8f81add11ddd6f8","datavalue":{"value":"left \\(R\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2991576$4451C2F2-8B8C-43CF-A4AF-342C006E470F","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":"Q2991576$DB6C4A07-EB06-4753-92DE-3D61293A618D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6033ed36d6619b692eaeac4f729c445b3de5de6a","datavalue":{"value":{"amount":"+0.7395618557929993","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":"Q2991576$A10E659F-AC7C-4082-BFF4-9E0ACE8A102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d37e70ed1f32339b63167a89113263aeeedc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3385234,"id":"Q3385234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcc3f21633cb41638a847eb6a0e4a178840589c","datavalue":{"value":{"amount":"+0.7375890612602234","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":"Q2991576$827689DF-ECC6-4B23-9DAE-E5518D5C9355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55cfc6a8a9ea3ab6d8efef2adafe6ea64628dd5","datavalue":{"value":{"entity-type":"item","numeric-id":2899562,"id":"Q2899562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1de79d9bccd2836211fbac85737de2789e74fb","datavalue":{"value":{"amount":"+0.7333899736404419","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":"Q2991576$845300B2-0D2D-4171-BDF7-067EE235FAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a745bec8adf5b9d1906b1bd6eeaf55f2ea5442","datavalue":{"value":{"entity-type":"item","numeric-id":3093869,"id":"Q3093869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78dc1354d23099ca1b6ca68461011bcfe92d67d","datavalue":{"value":{"amount":"+0.7244015336036682","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":"Q2991576$BF012F6C-7015-48F2-9EC5-E988A8C5A87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f402457bef4538d26475de4a60849b82521365a2","datavalue":{"value":{"entity-type":"item","numeric-id":3717255,"id":"Q3717255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c1e73746247301540e0965562abbd174b1644a","datavalue":{"value":{"amount":"+0.7147698998451233","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":"Q2991576$5AF2E6EE-6F3D-4F0C-A0D4-DD91F6503882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type with module structure and its model of categorical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_with_module_structure_and_its_model_of_categorical_logic"}}}}}