{"entities":{"Q4645803":{"pageid":6675384,"ns":120,"title":"Item:Q4645803","lastrevid":53316971,"modified":"2026-01-24T17:31:19Z","type":"item","id":"Q4645803","labels":{"en":{"language":"en","value":"Modular properties of algebraic type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000081"}},"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":"Q4645803$4ED3AEFA-A782-4267-83D6-E13E9A3B74A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"947f812cc16b6e10b39bbbf8f6e1df32b19024ba","datavalue":{"value":{"text":"Modular properties of algebraic type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645803$F9C529B6-BF1C-4D55-A14A-B4EB68D08F6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9e0cc4adf43337c70c792ed58676955591f1147","datavalue":{"value":"1407.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645803$DB3693A5-7571-4D12-969E-2BC763BFC10A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e2716974a8bb635501f0ff37689d0ffdc232461","datavalue":{"value":"10.1007/3-540-61254-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645803$8AA0CF69-60BB-4A76-9382-1DC70D8FB70F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$53117DA0-7800-45C9-B94B-EB00DD0DAF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$8054377A-73B6-40D9-A2A7-77AD59522DC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$C98F2CF4-554A-42E2-BF58-83AEFFDC9299","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-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":"Q4645803$B08BF14C-4406-4975-8B4C-D8EE0D4D83DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6246fca28a3af232c70571494d96bb13b2a3ada4","datavalue":{"value":"https://ir.cwi.nl/pub/1389","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645803$41DD9234-4F3F-4875-A711-D87B9AD4854A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645803$416E6ECD-D564-47D1-B139-5DF629489103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645803$32D93CB3-ACBC-464F-981C-64C55BB49110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad23358e0afa7129ec231b2518648d184ccc0153","datavalue":{"value":"7000081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645803$CDAACCDF-5019-48A3-BABC-33C27A400C7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$B4851ACA-582D-4D44-B739-0A7DB6EAFD4F","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":"Q4645803$09301792-E64C-4065-9B70-70C056DB802B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b228aab4b3f64d97160d5cf56d7fdbc817bf1511","datavalue":{"value":"W1538130752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645803$CC19E0E9-0008-4C5E-B640-02E07BD09A7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd96e1fee7bf04d18a9612e6988f2281607e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4281465,"id":"Q4281465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$966EE06C-579A-43C9-AEAC-6FF95BC0B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f0eac645b1cadfadfdaf0e383a7317ed193110","datavalue":{"value":{"entity-type":"item","numeric-id":684571,"id":"Q684571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$7BF7AECC-0D3E-4535-827F-756BAE3526E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$7B9237A1-4D44-430A-8C80-C610759EEBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad80344fc1eac9869a64dbac310f2d1dda233df0","datavalue":{"value":{"entity-type":"item","numeric-id":4939698,"id":"Q4939698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$FB382782-1645-4FE4-B7C6-283E285FDFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$EFEBF30E-8AF8-40F0-97EE-D5F16C4AEDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$AEE8A00C-298E-4550-9AAF-312C33F7852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa450a5d448e189b7fde1b225d7e590c3e691b01","datavalue":{"value":{"entity-type":"item","numeric-id":1197987,"id":"Q1197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$02166606-3A81-4E6F-9968-6A2FD56FB290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$905C2FD0-5BC0-4A46-92B9-D77BAE43A336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$7AF2254D-8599-44E7-A58E-C1BF32C167A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645803$68B716D3-1B57-40C4-8FD5-69E9B1334F6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c9f0cd722c1d9641138e61b4ca1caa19c1b44f","datavalue":{"value":{"entity-type":"item","numeric-id":4234771,"id":"Q4234771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2841dc95785cd7c11e4470f05d66f6d1f7a27a19","datavalue":{"value":{"amount":"+0.8647611737251282","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":"Q4645803$100421A6-75AA-4583-A44D-C34E53A05117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5178de57625deeef6f421d0d43375c1cd7d0cd81","datavalue":{"value":{"entity-type":"item","numeric-id":4571956,"id":"Q4571956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9499068864cbbd86549ca35e2e25fd572a5dd49f","datavalue":{"value":{"amount":"+0.8067227602005005","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":"Q4645803$D26DE2C5-9B93-4720-8DB2-ED5AA1710684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e14e2706f4f92d74ac35dfd53ead63a314d80a","datavalue":{"value":{"entity-type":"item","numeric-id":4362909,"id":"Q4362909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e0c215c55d46c5c898bb4f991b9858822edb7d","datavalue":{"value":{"amount":"+0.7988192439079285","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":"Q4645803$BF500A26-EC9E-47C4-83EA-BBF903FFB5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c267cc4209dd943b1ea54d18d3df533612d25b","datavalue":{"value":{"entity-type":"item","numeric-id":4941922,"id":"Q4941922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb12839614af6b93f9e70a0476848cc35745317","datavalue":{"value":{"amount":"+0.7883504629135132","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":"Q4645803$E68BA615-1F51-4CB8-8BBD-655459A1B00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d81984e73f41a703a072b9b75772081d74744e6","datavalue":{"value":{"entity-type":"item","numeric-id":5881282,"id":"Q5881282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e587a8d32cf69673f3485dd1ec90c9c3b5f59bad","datavalue":{"value":{"amount":"+0.7871890068054199","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":"Q4645803$E9164B13-BCCD-4A90-9C7C-3A9E3832DC2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645803"}}}}}