{"entities":{"Q6488535":{"pageid":14067304,"ns":120,"title":"Item:Q6488535","lastrevid":103340816,"modified":"2026-06-06T07:12:01Z","type":"item","id":"Q6488535","labels":{"en":{"language":"en","value":"Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680811"}},"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":"Q6488535$D1794870-72B8-4910-9F5D-064A9E1F91DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7824a65bc04c1aefb2cad31200db5d8130548ffc","datavalue":{"value":{"text":"Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488535$AB23B45A-5733-4FF1-BBF1-2EB220DA9F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d08eabec325e5582d31b76de40770a97752f9cf","datavalue":{"value":"1509.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$A99DAF12-2919-4673-8F81-FAADC1EA8F55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0be5b2a0d02fc8c4ca0f3c8d1b879b8be0303e8d","datavalue":{"value":"10.1007/3-540-52885-7_92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$8237C3A8-508D-4569-B918-FD46C0E9D6D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$729049FC-C8F6-4962-BB09-A6811B5369BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488535$DB18D88B-E697-4E2E-B85D-3EDA73D3ADAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$05E7B955-59B3-426E-BA12-A60AE9A0722D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$C0484A93-72E8-4289-B28F-885A040BFA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$0A44FEDE-96E9-4C5B-840C-6E08B66CA319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$4A2A9E3E-030B-4D5C-91C2-823F3A3999E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32e299a9ce325fd3e4dd557b3b64c189dbcef3d","datavalue":{"value":"7680811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488535$775D90F1-F2E3-40BF-8263-1D6558FB7358","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":"Q6488535$B4E35925-2ED8-4994-B4D1-F374B2C410EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$23EA6FFD-E857-47D1-826F-6C866E1068A6","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":"Q6488535$2ECFCF03-412E-4E52-AA08-00D9CF17C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ea43f4539b07f56dc7ca504e383937ea706cf","datavalue":{"value":{"entity-type":"item","numeric-id":3696522,"id":"Q3696522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$C393F22F-E6FA-445C-8078-7D141C681F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64499e89d6c3c24eb26aa15b8d826958c831e9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4124865,"id":"Q4124865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$9CDAD440-1160-45B9-AAFA-88E3CDA30FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$3A5C9278-B5A9-4F14-9BDB-81088A09014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4cc4a7ecc6049fce452aec78e65ad081d5e7ec","datavalue":{"value":{"entity-type":"item","numeric-id":4148000,"id":"Q4148000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$19398680-4C5E-43E6-A199-467D3446CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$3ECB4E4A-48BA-4BA2-B549-A0F5934AC35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1f39cd00bb020c24b4482917e53c66e59688e4","datavalue":{"value":{"entity-type":"item","numeric-id":5903717,"id":"Q5903717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$161F1108-5597-4848-8327-B66C4B550A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32eeb969eda472fde77b77bf83c3f4e02690290","datavalue":{"value":{"entity-type":"item","numeric-id":3785940,"id":"Q3785940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488535$6190799C-6901-42C2-A4B5-D3C1222E7024","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9c39102257bef8ab9af2097aaf05863afa7094","datavalue":{"value":{"entity-type":"item","numeric-id":3490943,"id":"Q3490943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","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":"Q6488535$80893935-2400-4F4E-B03B-22D0834383CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feca28bd45dc104a99f8bc7bf488fa73fbf32c0d","datavalue":{"value":{"entity-type":"item","numeric-id":507661,"id":"Q507661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc60d9900ba0ccd8abb2dc08c0d1d004f6acc776","datavalue":{"value":{"amount":"+0.84737855","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":"Q6488535$C8A400A7-13E6-427D-A7D3-991EDE856C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b14cefbca98efd99295483e8b4da74b284e0294","datavalue":{"value":{"entity-type":"item","numeric-id":4982347,"id":"Q4982347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1676432144ad9bf6d102f4a435df0362f14378d","datavalue":{"value":{"amount":"+0.83703476","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":"Q6488535$32F7A2FA-1058-47BC-9864-5A3159A3802F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77de1c909e7ec920aa3fe04341ef45a91ccb6f72","datavalue":{"value":{"entity-type":"item","numeric-id":5003022,"id":"Q5003022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0875d73e6f912aeca53706c04f183f34d1cf3f1e","datavalue":{"value":{"amount":"+0.827122","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":"Q6488535$60CC6B1E-91C8-4F95-97B4-465D86857FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85228419cb77378f26fbe9d5bfe174bf4c824535","datavalue":{"value":{"entity-type":"item","numeric-id":2143655,"id":"Q2143655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd0821385aa7c43143bb6c76e0adc90c660e7f5","datavalue":{"value":{"amount":"+0.82635915","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":"Q6488535$324397BB-7A67-48F2-8DAE-B50ADA0CD1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d65d9ea36998751ceca5d655e17f31331731c9","datavalue":{"value":{"entity-type":"item","numeric-id":5477631,"id":"Q5477631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9f0d2d0f4416c2ffe0eeaa616e9799dfeb72d8","datavalue":{"value":{"amount":"+0.8257099","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":"Q6488535$647A8E87-1312-479B-8CC2-2BA84AB0060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606fd075ffac2b7ae58ffdf1d3b9d719c48962e5","datavalue":{"value":{"entity-type":"item","numeric-id":5136487,"id":"Q5136487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c370711bfbb80e7ca948cd4792785ebe7e29ca6e","datavalue":{"value":{"amount":"+0.82417816","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":"Q6488535$A8ADCBBD-6EB7-41E4-91A7-5F0D9FA97F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd92e0fc7174e4ffaf184a88aa12a99beee1a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea784135e74446a86f67bc22ab6e879f5c0d558","datavalue":{"value":{"amount":"+0.8240598","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":"Q6488535$6FB64480-4C9E-424F-A77C-92526FFF6D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f44a90a2789a296f2033cf95961840dc0faef9","datavalue":{"value":{"entity-type":"item","numeric-id":2947200,"id":"Q2947200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b2d1514ab07a8f726c5295c3daab7dddc044aa","datavalue":{"value":{"amount":"+0.8221283","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":"Q6488535$CD6F53D6-122E-4F9F-8936-52A6837444DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c890257be0b739f80ce39b537134cf169f2014c","datavalue":{"value":{"entity-type":"item","numeric-id":2792540,"id":"Q2792540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c99b7c38d55933061c47a9fd7628378ae1ea11","datavalue":{"value":{"amount":"+0.821041","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":"Q6488535$295EFFA7-BBD7-42E8-833B-FD37B150535D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equality_of_terms_containing_associative-commutative_functions_and_commutative_binding_operators_is_isomorphism_complete"}}}}}