{"entities":{"Q4903714":{"pageid":6933293,"ns":120,"title":"Item:Q4903714","lastrevid":51637760,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903714","labels":{"en":{"language":"en","value":"The algebra of expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128566"}},"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":"Q4903714$422D7EEE-D22C-4988-A0E2-23B3C2D76BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ae81b4ee530d1cc975a733352de5d24c6f009f1","datavalue":{"value":{"text":"The Algebra of Expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903714$21AE45FF-C4FF-4546-B7CD-AE00C34B2AC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"693328625db02b0c37edc858b7022d259aa672bb","datavalue":{"value":"1273.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$19035B19-15F4-4AA6-9EF9-40E61FF6F343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e8274975282bb2f70306c7d0cd64f1eb7c34966","datavalue":{"value":"10.3233/FI-2012-771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$252923E6-C96B-47E3-AC03-097D390099C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad6c36eeadbaf812f18dab5a1c1cce93e853d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2842833,"id":"Q2842833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903714$50E3BEED-A314-462C-A040-DEF1247D7D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903714$867BC6FB-5A6B-4A92-998E-86525400723E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903714$8C4FAF29-DB99-4576-93BB-45FE07A98E9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4903714$AA34526C-6A59-4582-BF0C-C7C641CF4B8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$C699462C-4A77-4BF9-B50F-F14AE9744ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$40E05AC9-D4E3-4383-A2A1-4EE7F84DD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$0DB00F03-E7C6-4FA2-9398-58893C2F11E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7d378ceed6337be3f3265df65e5c19de7550695","datavalue":{"value":"6128566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$2971CDB6-242E-4C48-B003-7DFB2E1147FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$0CE9A977-1086-456D-A160-4BACE0D340D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$6AE4E2F9-02BE-44B4-A573-792D36FC8E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$A24F2A90-39CE-4C6D-91FF-A59018426E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$F340DE99-9830-4614-9A70-DB7377A505C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f62bc72cd7c2ce6fef31273f8a1eb2ea63b91f47","datavalue":{"value":"formalized proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$DC9C1802-AD30-4E7C-A775-CB1B7E0158B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$E80B9F30-78A5-4A9C-A474-DAC8A4881D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d0032c9e8eb4e48738f43dd6bfa200c5dabd22","datavalue":{"value":"expansion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903714$B040105F-5CBC-4FD8-983E-FD76A0B8A2EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903714$F84ABE82-17C6-4E45-AD1E-7722E62F1C4D","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":"Q4903714$870113FD-48FB-4625-AD85-B064BCD44B45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e8f33ceeb0920241c310f7ebd47a341c3634f7b","datavalue":{"value":"https://doi.org/10.3233/fi-2012-771","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903714$58624BC1-8797-4822-83C9-1AF7B86AF5B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce3e692635dec4360aa8736b9bb98f20a9188674","datavalue":{"value":"W2101384257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903714$0C49B4F9-A691-4FC4-AD26-31BA0121B7BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352ebd878bb922dd4f37b7f24b551b180f9c13f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851092,"id":"Q2851092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636f1872fa84cd716d18297b2f49943220761d94","datavalue":{"value":{"amount":"+0.8058622479438782","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":"Q4903714$C878FB07-25F1-4FD9-AC11-FE78A4DFC8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc54963d4855385a14fd93656bad683f8347301","datavalue":{"value":{"amount":"+0.7848976850509644","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":"Q4903714$C95B7B38-34BB-496B-9DDA-576A50A6B27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a4caaf00cd52deb91b3fb4131965c7f878a563","datavalue":{"value":{"entity-type":"item","numeric-id":672048,"id":"Q672048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d752ded8f6cd346786c424a4f7df453495e0209","datavalue":{"value":{"amount":"+0.784602165222168","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":"Q4903714$E5704BB2-B623-4FE8-BEAB-CED17E32717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6917a9455ca51f549bd39d4dccf9a6ef30cf","datavalue":{"value":{"entity-type":"item","numeric-id":5505601,"id":"Q5505601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4b957c3fac1fc75f644e3b074750278a310366","datavalue":{"value":{"amount":"+0.7781000137329102","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":"Q4903714$59A62D55-0255-4D92-BF66-17F905AE2D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e1ccc017489cccd5b4637866f94f85dd0f5b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2892745,"id":"Q2892745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b0f798436ac8aefba3a4d587f40e8e64508a24","datavalue":{"value":{"amount":"+0.7744007706642151","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":"Q4903714$046375AA-B44A-47C8-A573-84FA1B1105D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903714"}}}}}