{"entities":{"Q1093359":{"pageid":1104111,"ns":120,"title":"Item:Q1093359","lastrevid":66117522,"modified":"2026-04-12T07:40:02Z","type":"item","id":"Q1093359","labels":{"en":{"language":"en","value":"An algebraic semantics approach to the effective resolution of type equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022608"}},"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":"Q1093359$3D8EB6C1-44AC-41EE-BAFE-385383AED16D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7519ee91200cd46552a949e2662a3ddfe18e3e3d","datavalue":{"value":{"text":"An algebraic semantics approach to the effective resolution of type equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093359$1762EF2D-42C8-424C-A57F-8DB7C0152289","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b02b60306fe234d0b91b9bf541130e668f4a6c0","datavalue":{"value":"0628.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$0C4D2CC6-3FE2-4266-B11A-BDE0A0A81726","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17f4e02cb92b91dfb13f1e22c56d7c7ff9ec4c5c","datavalue":{"value":"10.1016/0304-3975(86)90047-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$68630B28-2638-4068-979F-5C0105C081AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a93c57283e0ed2f2843fc1528f403f7d02271f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1093358,"id":"Q1093358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$4C56CD87-AF83-4934-A989-C00258578B04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$0856DDE1-00B5-4B38-9A34-24247BD16F57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1093359$7F27EE4E-5246-450E-A527-38E6B96CA9B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1259978c5de83b36853e7b8bb5f8ad54a5820979","datavalue":{"value":"This article presents a syntactic calculus of partially-ordered data type structures and its application to computation. A syntax of record-like terms and a type subsumption ordering are defined and shown to form a lattice structure. A simple `type-as-set' interpretation of these term structures extends this lattice to a distributive one, and in the case of finitary terms, to a complete Brouwerian lattice. As a result, a method for solving systems of type equations by iterated rewriting of type symbols is proposed which defines an operational semantics for KBL - a Knowledge Base Language. It is shown that a KBL program can be seen as a system of equations. Thanks to the lattice properties of finite structures, systems of simultaneous type equations are shown to admit least fixed-point solutions. An operational semantics for KBL is described as term rewriting. Fan-out rewriting, a particular rewriting computation order related to the conventional outermost term rewriting which rewrites symbols closer to the root first, is defined and shown to be maximal. Correctness with respect to least fixed-point semantics of KBL's operational semantics, as defined by fan-out rewriting, is discussed. Finally, extensions and further research directions are sketched.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$9D4550F9-6D57-46B7-B839-7514E869DF6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$1D475C87-276B-4437-9ED6-E012EC42E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$02E71FF6-B74F-448C-8709-FB89631C1EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$72971363-D826-407A-B942-7679774BF15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"282c504673ece9a243586ccc8b28edddf60b115c","datavalue":{"value":"4022608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$0AE18DDE-A6DC-467D-BBCB-950E11416AA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b686bb5bb1bd123e463318d7f703a05e04faec28","datavalue":{"value":"type inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$373E15B9-0022-409B-9965-F1E8F9FA7830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$DEFF6BA0-765B-497D-9DC6-5280D047B9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f45d0ae12f5bd1b868487fe24e5effd659f91bb","datavalue":{"value":"graph-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$F4A817BF-9B05-4340-BDF7-B4170FF00806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c07e0c8c3255eb17160b191eaa2fc1d548ed0c","datavalue":{"value":"syntactic calculus of partially-ordered data type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$019EE50F-86AF-42A1-A26F-FB5BA841E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1344c8bcaad620d4aebe545d2e2ddc68d7717895","datavalue":{"value":"syntax of record-like terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$DA4E78AD-AE8E-4F06-97CD-19E56D0EFFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf82da97d3ec1a2ac6fb54fae11b13e3ef5a8a8f","datavalue":{"value":"type subsumption ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$A90F3276-296A-4B2A-ACBA-5549AF017C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$71EE2CEC-8530-4626-988E-90F44DA1A34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b55278c86052972a586a9e4d37752a7bbaf661","datavalue":{"value":"systems of type equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$120725F1-795D-43A7-BE62-0CBD54D08F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$2E468A7A-369D-4010-AA9C-CCED87ECF91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e651b8df4a175d17a746bd3d59b0808e566ce1b6","datavalue":{"value":"Knowledge Base Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$3CD4DD21-6614-4E5A-8FA0-8792EB982C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b5ce64c2c02d40ade14d407050a1602db18858","datavalue":{"value":"least fixed-point solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$9AA37B74-804B-4349-A07A-1F20857617B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$0777E297-5181-40E0-A58A-DEE58BC05367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7237aa2b65af18d4097f93c4e70df2216ba4040c","datavalue":{"value":"fan-out rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093359$10B4406B-B0A4-4F01-93DA-4C4F1E15F340","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$7D62B736-A983-4CAC-8E54-1F4152C7C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$D60A82C5-2EEA-409B-8F73-E81BBD80706E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$983BDC92-BE9B-4E8A-8BB2-4DA03C05021F","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":"Q1093359$9770CFEB-D428-4E19-8413-F59648FCD608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad3468befa2826edec51b1f9597c03c612bdc386","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90047-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1093359$D0315080-E9EF-48BE-9E5A-EF9630CF06BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1757cef3d2e82069eeda3064e57f73c282a05ad","datavalue":{"value":"W2007008666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093359$6EE0E293-B2D0-4A95-BCA2-BCCFD72FD67D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7934942ae0aed1edacce322f2c3a0f0aaf6cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":3696487,"id":"Q3696487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$6190DA6F-4B62-4900-9342-99862350B487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$38843EE4-95BD-4353-A41A-1EBF37B34BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$585A1644-57ED-4FAA-A1B0-5C6CD4C73707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$C2C26DC1-9806-4AA8-A473-AB0A6849D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715a4fa8ee02e178be8b125c2d65934f40c5835b","datavalue":{"value":{"entity-type":"item","numeric-id":5805960,"id":"Q5805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$441F6093-FDBC-474E-A0AD-BC21EAA6D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$D9A59B6B-79B5-482B-9DA5-D1517F9FBF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$CFC271EC-C70A-4005-B585-B5BA5A5DD160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$153F6CC8-D7DC-495D-B1DF-4564BC903106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$DB23C1DD-C69A-4DEA-8EB5-806B2963A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81878d69ccfa886f1c81edc4744c8a500ba547a8","datavalue":{"value":{"entity-type":"item","numeric-id":4176999,"id":"Q4176999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$372122E5-708E-44AA-9F02-EE4D9A98621E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a396efbaab0f9955d9957e0051762332beddcd01","datavalue":{"value":{"entity-type":"item","numeric-id":3851582,"id":"Q3851582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$6EA5B7D0-344B-4CF3-9139-15DD8757C9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$9DDF9744-C1AF-4B3C-A9EB-F811DD4C4FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$0D59669C-ACC4-4E49-88C0-5BB5BB244383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da3e52046168bd1c28c89ca55076f5bb2a3a04bf","datavalue":{"value":{"entity-type":"item","numeric-id":3928287,"id":"Q3928287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$C2E91C60-BA33-42FB-966E-1D17528EC575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$1236E3F5-02E7-4F53-8038-DE84AD6421A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$F46D61CC-0EE4-410F-B536-0C0A2EF88A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884405834b1ece117404c719205493a4ee406b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1846739,"id":"Q1846739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$A0A07CCF-A0F6-47EC-8686-2F2BF4B0B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930ed89dc6cc58137a8848dfd24b098d071626e0","datavalue":{"value":{"entity-type":"item","numeric-id":3915992,"id":"Q3915992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$A081ACA9-0952-401F-B734-14127547A7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c90e66902948a1de1494ff23d31c3c16d32b1","datavalue":{"value":{"entity-type":"item","numeric-id":1153681,"id":"Q1153681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$74CC2CB1-8B73-43C7-B364-EED7ADEB03FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"617277a3357cbf23c1c645eca17b44755c12536f","datavalue":{"value":{"entity-type":"item","numeric-id":4153574,"id":"Q4153574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$1509C39D-A2BD-4816-ACB6-2C1719A7B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$33237B2D-8B36-477B-BDFB-3E8510B4DEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$0541A848-2118-48B7-9647-FE71AA73D3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$DDC7D0FC-E79E-470F-AA37-FC84451E4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$35565522-8AEA-41C2-B57E-34678AC9B854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$3CA11E91-3D71-42DB-9737-4236FE584B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e13ba0f811f730b749bcf2d3e9785d0ee1e3db5","datavalue":{"value":{"entity-type":"item","numeric-id":5578545,"id":"Q5578545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$14852FC1-D417-48BC-ADC2-117F8687FB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$1FB87816-E135-43C3-8418-7724728A5A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$5DC7186D-DBC4-4368-A9C1-B5943195EFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$420233A9-E82A-4FB5-A987-ADA1E1B8ADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$C0B2B42B-54A9-46C1-B501-C6B2223232A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$B90F9A96-E6BF-405D-9E75-846210B5BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093359$1BDDACDD-EBE7-41B1-852E-708BF344CBD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f2f647a2c3371db94914de47a7951551fc119f","datavalue":{"value":{"entity-type":"item","numeric-id":3696487,"id":"Q3696487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7635eb9e88aabebccdfde0658ecccb62fd47a963","datavalue":{"value":{"amount":"+0.7915089726448059","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":"Q1093359$1242DA60-EA85-4035-A398-390C3D4BD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6911ebe48f8cd66a9f970603a728fbd8bfcc22","datavalue":{"value":{"entity-type":"item","numeric-id":1064065,"id":"Q1064065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926c887fbd05e67229a71962b93e511f9cf70bfa","datavalue":{"value":{"amount":"+0.7408180236816406","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":"Q1093359$194B134D-31F7-4AAB-9C4E-976A1B4B3106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5fc84df065ea961925d80b5c14cbba80d5d3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5881172,"id":"Q5881172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2d9f2e1a03f3c415f8cf5cdd4c1cd3350ff5bd","datavalue":{"value":{"amount":"+0.7190353870391846","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":"Q1093359$A9A49EEA-BE8B-4A9B-9B4D-D780BAA5FD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21d9c9809aa1f4b8a27b9fb7f5937de1a202fa","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564571a4a8f7469f1ef4442912d190a7de2e2bf1","datavalue":{"value":{"amount":"+0.7171397805213928","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":"Q1093359$ADC17E4F-22F9-4F64-B81A-B1D9885442CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c93725373a5da4e5a43eae6c8c6c50021c386c","datavalue":{"value":{"amount":"+0.714579164981842","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":"Q1093359$7B3DB316-FE0C-4B29-821A-652807BE3799","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic semantics approach to the effective resolution of type equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_semantics_approach_to_the_effective_resolution_of_type_equations"}}}}}