{"entities":{"Q1340508":{"pageid":1351247,"ns":120,"title":"Item:Q1340508","lastrevid":70186608,"modified":"2026-04-13T13:02:04Z","type":"item","id":"Q1340508","labels":{"en":{"language":"en","value":"Automated deduction with associative-commutative operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 703292"}},"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":"Q1340508$CAF23105-46C8-47B0-AC7E-DCC5B05DAD48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d2f54ebf694fdd3e30573ec94a1b53dc1540d1","datavalue":{"value":{"text":"Automated deduction with associative-commutative operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340508$693BD427-3434-42A4-AA77-891977D1F048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1a279693903b6cfb9341ea1e40730d4f3dd75e4","datavalue":{"value":"0823.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340508$344FFBC3-B7B9-4304-9347-2E0D74CADECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ddb4d86eb49b9e86691282cbe54050509e9edec","datavalue":{"value":"10.1007/BF01270929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340508$E160AD41-49D4-4F8E-A04D-A26008DEB26C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$7C76825D-61E9-46F8-9F64-188415DD8C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$BD9D2BF1-9FFA-4BAB-84FC-03E178CCC556","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$D9F03811-933A-4FAD-BB7D-87E2C658C0B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa90feb960da8919004d710bb388e825cdfbc0a0","datavalue":{"value":{"time":"+1994-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340508$79B908AC-1DD8-470C-AC47-82A74978CC82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340508$E15E3104-4B96-40EF-B140-9154644C06FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340508$091B8F5E-C0C9-4A6D-98EB-1F78A6F60428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc779142fe0d0c48bfec192b97d7bc40af702628","datavalue":{"value":"703292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340508$06D3ECA0-2801-4C8E-88CB-CC493E7B696A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31bd6552f70eb9f432c5a52887704a476a74a5f7","datavalue":{"value":"AC-unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340508$12A6E389-1EEE-416A-92ED-EFEA39BC3472","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$E975C012-5C59-4EDC-9A10-A0369CFB0770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dd2b9122264aadcbfe3f8a915ad1b206e944175","datavalue":{"value":{"entity-type":"item","numeric-id":22073,"id":"Q22073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$A6365D0C-A342-4957-B701-3DC7C436ACEB","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":"Q1340508$FB18B57E-1382-49B4-BCE6-D87512BBF8C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$7CDB85B3-64CC-4EA7-A999-97D7AC76546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086055f2f54b4dd7704b82205b0c9bfef7cb805e","datavalue":{"value":{"entity-type":"item","numeric-id":3696500,"id":"Q3696500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$A4291B9D-FEBF-4F48-A6B5-F57B2710E43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$629514B6-CD20-4EBB-8CA5-ACC6D6C6A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$4896069A-5D8F-4D76-9E34-5D738021E583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$DA6F59A8-E477-4B9E-9D21-F2C4B63266D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$E395104C-A401-4AAE-8727-9E50CCC69085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$9D3D9E15-0A77-4174-B5F7-4F0AFB93C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$45ED573A-F414-427A-A81F-077E6C21B572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$EBDBDF8E-4404-4E55-BC39-48CBC270BF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$B8F202BA-90DC-4C17-B8A5-AA5D140D9506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c628ff52abede3b151ab9a84b4dbfa41be244","datavalue":{"value":{"entity-type":"item","numeric-id":1357668,"id":"Q1357668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$30C9F994-311F-4FC7-ABEB-8D1E58E4DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92acc5068f491ee61908b46a1367f68f3fd791","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$F48949BD-3FDE-48A4-BF4D-D6DDC4712AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$4EB5C56B-1FAA-41F5-9F9F-04B3761E53A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bd0bcc25ba90872d94eaf689a69e40406cc3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4279084,"id":"Q4279084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$B3606D2D-6725-4345-88CB-5212EC5CE6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$8ACF3052-8470-4011-BAE2-39D6FDC2EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f2a8699e6bc210d45b27c033415295ef2b6eb1","datavalue":{"value":{"entity-type":"item","numeric-id":757093,"id":"Q757093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$58694B60-D878-4143-AF45-89C006C5B82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$EF2D32AB-4B8A-4E3F-B04F-8D5E16AC43E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a7b1ff9c218bf39d49a97332f2150f3d430e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4279086,"id":"Q4279086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$58EF0A99-C6C4-4EB8-9706-0286B55C565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$378436E0-2623-402E-87FC-975B83B3B438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$3FA71481-A085-4FAE-97B7-573DAE48F468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2c382536762403afd1b57f03346562a0a0a83","datavalue":{"value":{"entity-type":"item","numeric-id":3336737,"id":"Q3336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340508$200F8BC3-1F90-4D15-8632-90431B60ED1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea22febb26e66ee02b85098faba828f31d38e866","datavalue":{"value":"https://doi.org/10.1007/bf01270929","type":"string"},"datatype":"url"},"type":"statement","id":"Q1340508$9AACCF76-CEC1-44D5-A48D-E75AAA0CD9B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ed27ad32fd8dd588dcc2990df335cf1ff56337e","datavalue":{"value":"W2571001698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340508$F5602687-13BA-408F-B3F9-D4BA5F47BC61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eb12de7a948e2e1b7677f03b3678c4a097a9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747673b555b2d2b779144ba8100389cc990b6e20","datavalue":{"value":{"amount":"+0.91437435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$3C52306B-7C44-4530-BC25-3A661E05186D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524ab2973279b77374bf2818b4cbe86ddc56c2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2757832,"id":"Q2757832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4066b82c17cb3aeee366e76394c3aa72b08d5c65","datavalue":{"value":{"amount":"+0.8948633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$D7E60B97-4BFB-47B7-B6E3-F98EDA372F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef8bba93f960c991c1375d51502da818a0e3307","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9331bf94cf0f25d8c946735fe9422bfd59bd9e9d","datavalue":{"value":{"amount":"+0.88705176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$F298545F-C611-461E-ADE3-FDB8807C1C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c40a5fe681fd101e13c285b294e12c6b2b0b91b","datavalue":{"value":{"amount":"+0.8790757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$2701517D-9C87-4E74-93BE-9F6BB7AF0D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f74b44fa2dc93a921567998bd6aaf85c32fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2751372,"id":"Q2751372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7b27479a7180b1787cf54cd70786dca70a5ee7","datavalue":{"value":{"amount":"+0.8784466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$A18E98B1-3C3C-49E9-8EED-415F1F68AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3618ffdd81f8ff5730c7722ce3c18dbbbdadda","datavalue":{"value":{"amount":"+0.87578785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$AEA97809-212E-4B9B-B903-A74BF85F2720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c2f3382278439ee76b7b6768962fb3bac47d448","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1debeb4879e8256fa3fb1384aa7b2b61572a91","datavalue":{"value":{"amount":"+0.8745079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$B3B38180-D6F2-44C4-B818-BC7B469F1627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83449b945f40b8a2c5ce43f192e5b8ba65905200","datavalue":{"value":{"amount":"+0.87394845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$5C095287-65B3-4D87-85A2-4E75875DEEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e4caa40d6b432c9706cadaa3edf2f4852844fd","datavalue":{"value":{"entity-type":"item","numeric-id":4691737,"id":"Q4691737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33179760dc785e55deece59e645ce8fcb0d00b8f","datavalue":{"value":{"amount":"+0.87331784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$B52C2E45-44E1-4506-9AB9-13366668E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c39ceb87b78fa19ce5077c814a791a68af5067","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20b4d4f722afe398cf79f099efb401f25bf7067","datavalue":{"value":{"amount":"+0.87310505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340508$61448882-16AD-45C5-901D-7C841716501F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction with associative-commutative operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_deduction_with_associative-commutative_operators"}}}}}