{"entities":{"Q1823935":{"pageid":1834677,"ns":120,"title":"Item:Q1823935","lastrevid":43348361,"modified":"2025-07-25T00:03:31Z","type":"item","id":"Q1823935","labels":{"en":{"language":"en","value":"On the logic of unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116523"}},"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":"Q1823935$ECD9C04F-6277-4801-8B8B-1F0BEA3549E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e06be7b378fc64b14b82b6d9b515631bb00f618","datavalue":{"value":{"text":"On the logic of unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823935$6A088EEF-A04C-4674-B8EA-8C68B43A5888","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afdbb15a93ab86b7bde1bb658c968596e6b0121a","datavalue":{"value":"0682.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823935$6103C211-506E-4EE5-A41F-8D5ECE4403C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6a3d1b4676dbcb82f9f6fc7505ef7487ca875f3","datavalue":{"value":"10.1016/S0747-7171(89)80024-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823935$73849792-DBB2-4438-8E41-4CF0A762C3BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$03DE08F0-ECFA-4AC8-87AE-6014C1095C80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823935$F54687A9-0CA7-481B-99C2-6C33208C3A6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"065f556f3291f49a05bf3ba7c8869d363447f3b0","datavalue":{"value":"The normalization process has been developed in various logics but was lacking in equational logic. The main explanation of this fact is the lack of an elimination rule in equational logic. However, this elimination is omnipresent in computer science in form of unification.    Adding the new rule to the traditional introduction rule, the author obtains a unification logic LE with strong properties: atomicity of inferences, strict constructivism, strong normalization of deductions, left/right and introduction/elimination symmetries, positive/negative signatures for subexpression occurrences in deductions.    The author gives two interpretations for unification logic. The first one is a model-theoretic semantics which gives completeness. The second one is the operational semantics of equational logic in a geometrical style. This semantics allows the design of a syntactical normalization process. This normalization result is obtained by a finite rewriting system. The relevance of this semantics and its operationality are clear also for the second-order level.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$469A2E18-2A77-4499-AAC7-2B46D2FDC7FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823935$69ED0A9E-2FE6-4EB8-8D7F-26C997FC0DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823935$F1C40D16-D5C8-435A-8DE8-A8074D0FAE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823935$711A5B71-6354-4114-977C-727825DC014D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eef6f315b7a650c31e6f6d89fd107a444b37a34","datavalue":{"value":"4116523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823935$A30D61D1-F0C3-4F72-BB48-A1CC0F14BD31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$B4DF0BC1-E513-43BB-A0FD-7BC69619B719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$C21BBE91-025C-4DC0-BF68-4F5FFE63E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$2A3861BD-5774-4107-86C4-C05C0F393E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ed17f0fa3b284d6eda2a0b6f59f94f851c6b48","datavalue":{"value":"elimination rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$72D545DD-3364-4AE7-9FCF-705A1E1CF38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc1afbb202bfed697d381f0969aa6af8f71d897","datavalue":{"value":"unification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$5F6D95CE-6734-4F6E-8441-A39954B7BFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$3D833FBA-3598-4012-945B-6DA6052347FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$D2F32379-C4B2-4C40-BDEA-9C3029875443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$DFA7A9D3-F9C3-4C68-9667-FE3E3B3397B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823935$55CCBE97-C65A-41C1-8C88-8533D3643ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"536a02fb4be152c015c219283f828226976ceceb","datavalue":{"value":{"entity-type":"item","numeric-id":1097967,"id":"Q1097967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$D9D8D93A-1DAC-4147-B9B4-2E7FD614FB6E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$E21BF395-ABFF-4F9F-80D8-632AAC64089F","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":"Q1823935$8C5F5364-5FDD-4BCF-8150-17CB7171F36A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$1468CEAA-7E62-4D52-BE60-6790D3A1084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$BEBE785E-D807-4D1C-8709-AE72E05B03A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58e8b00abbeb4e6373d1e057edd2d929cd02366","datavalue":{"value":{"entity-type":"item","numeric-id":3312256,"id":"Q3312256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$12886C45-7DB4-41A2-B6B5-6FEFC0D753C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$B9A23233-6669-45D3-9FF9-0ED51256954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$EE006090-0EFF-4AD1-8F1B-C6E39F26ED08","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":"Q1823935$059A2BD8-33EF-42C6-B439-B64756A504ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e339c0f52b065b7629f93e04f820bac86e415","datavalue":{"value":{"entity-type":"item","numeric-id":4772711,"id":"Q4772711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$4C284E3E-85A0-428B-91B4-C22C4FBB6ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$0BF850EF-A448-40C9-BBEE-1E1FCEAC8708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$D3771182-3F1A-4D45-943A-63C17D7B2ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$5A3CC921-8BE9-45DD-966C-F736F71EA982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$E51A285C-A939-4C1C-A5CB-20F48B63F282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a4e9a8c68ba5d1aa82170d0cb9e3944e2dd212","datavalue":{"value":{"entity-type":"item","numeric-id":3760480,"id":"Q3760480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$FD0E5933-052E-48EC-AECD-A7C754634309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$08AF2E09-CF87-4A7D-9E9D-B83262FDEDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$07EAF6B1-B1B2-4E5E-B12D-96C03046C20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$6675F942-C13C-4259-A9E0-1F56F940180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd8a478cc62a99b91fe28e65ab091dda13e457f","datavalue":{"value":{"entity-type":"item","numeric-id":5724776,"id":"Q5724776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$ED51F06F-BB56-4D27-B5E7-B857B5D8AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$4FFBF6B6-058D-45EF-B1F1-539022530F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14066f45b97a5fca673eb43573f719bf9e3eb67c","datavalue":{"value":{"entity-type":"item","numeric-id":1173403,"id":"Q1173403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$71986761-0D1E-44EA-9CB7-D974C0727AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$0E1078AA-ECB1-427D-ADB6-91BA03EE3D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$E90AEEDC-80D2-4099-A392-9A81B2705593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$1053567E-8A19-41B3-8AFE-E6F5B8A192EA","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":"Q1823935$0481B4F7-D150-4598-8108-A91547395124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b2ead305676d842909cf1b4c2e184ef530ddfd","datavalue":{"value":{"entity-type":"item","numeric-id":1091380,"id":"Q1091380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$BDAD266D-7EDC-4629-8B4D-10D6AE8DC59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bc93cbca953e308ba80d56d252ce03b581ad05","datavalue":{"value":{"entity-type":"item","numeric-id":4720785,"id":"Q4720785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$6469D5F3-A83A-4D72-A1D2-C56D1029B7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e60bcb318a54c561323259c1b01dc055722bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4192669,"id":"Q4192669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823935$81F60CAC-D60E-48D4-B5CD-79FB6062C228","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679d9b5649be24e59e1d02b2ed1323f935c2556c","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd53b5adaa7ff0b183082bae27e37d54234bdde","datavalue":{"value":{"amount":"+0.95248795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$4ADEE420-A940-458C-8E86-CADB22BBA0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a506a732087cff0796b7307609577c09fa348b","datavalue":{"value":{"entity-type":"item","numeric-id":673960,"id":"Q673960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25767c42e1c752aae423e77417799869bf9f9c9f","datavalue":{"value":{"amount":"+0.94663167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$2022B9E6-0D17-4D45-8EF0-2B4A1C6D3F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cacd15cfe6c324c6bbc7275ebf6f7cf884a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2284172,"id":"Q2284172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56df9e95beb04aa36c3b324d649d3afa0aeb343","datavalue":{"value":{"amount":"+0.9215862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$AEEB50EA-4C84-4C47-9822-C55212E1BC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea158cb60ae8de3fa64d32c40b6aa25496300ca","datavalue":{"value":{"entity-type":"item","numeric-id":4586223,"id":"Q4586223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3473575d7067ae01d5f6a258218c98c7220274d7","datavalue":{"value":{"amount":"+0.91510606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$071227EC-9CF3-44B4-B362-FCB2A479C095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be685d2cdc300dc0bdd4275522c6ab8f027d8ffe","datavalue":{"value":{"entity-type":"item","numeric-id":6169562,"id":"Q6169562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5400f648feb2480013c48a12aa72ac035573a2","datavalue":{"value":{"amount":"+0.91336185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$70E325EB-228A-433F-A40F-A16B285542CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8598c1d3d6fe622d35edc0590a87c9b5ccdbc93","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9935681a97f8966c8caaa3e762a28578c7194bba","datavalue":{"value":{"amount":"+0.91240364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$13203B72-58AE-4CBC-A228-BFA47E71441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a03d677ec4048cadce2734c00034bea0956083","datavalue":{"value":{"entity-type":"item","numeric-id":3803296,"id":"Q3803296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9c1973cd9efe87358cfdcc9a640896d07b1a47","datavalue":{"value":{"amount":"+0.9074937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$7CA2CDB3-2292-4068-9A96-59C076F4251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7db1b918008c293a5e360fa54f09bb24147cc28","datavalue":{"value":{"entity-type":"item","numeric-id":3450801,"id":"Q3450801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1479d8b377556860f44b323a71324318f07ecf2d","datavalue":{"value":{"amount":"+0.90591615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$FD55EE69-D668-4402-9F1F-61C4D5835A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc51644c38bff7f7d8984a1dd3c5bdad494ff0db","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adba9c8acc31a9854c7953d75fc5bfcc44cf52e3","datavalue":{"value":{"amount":"+0.89335275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823935$14F8BEDA-A3A4-412B-B548-58DE85033AFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823935"}}}}}