{"entities":{"Q1332775":{"pageid":1343519,"ns":120,"title":"Item:Q1332775","lastrevid":70163982,"modified":"2026-04-13T12:52:00Z","type":"item","id":"Q1332775","labels":{"en":{"language":"en","value":"A term equality problem equivalent to graph isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 633515"}},"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":"Q1332775$89664009-36EA-48BA-98AD-C491F9BC42C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8e01dc37e2261992e1e41bdc7100eaac1157453","datavalue":{"value":{"text":"A term equality problem equivalent to graph isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332775$9A4D7819-1F94-45DC-967A-5C0D7C03C064","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"032ba94fcea97ddc8bd6004a440b778f0eb08143","datavalue":{"value":"0813.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$E101A7DE-D74E-43B8-A741-F8369B729797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74802a17e6a83de6faff1e7c012b4fbcc8a086ef","datavalue":{"value":"10.1016/0020-0190(94)00084-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$AB6DE72C-2A37-4788-84A0-F4E17D78F34E","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":"Q1332775$3B2D835C-5E3A-44BE-BF83-64995BD8025F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332775$1F432871-B418-40BD-A5CE-3E3B98DFB071","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"348dd267eabf58250beb783f03b6bfb0a836f4ae","datavalue":{"value":{"time":"+1994-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332775$64102267-9541-425C-8AB9-9E5A36B56E92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$1DBF9AFA-C74A-4512-AC45-5BF4A5D513B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$C847B426-8803-417A-8122-798DFEFCA3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$7BFB57BB-5156-4435-B069-01BC981759A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6149cc9f36d25fa2efc9f30ca13c9f1234aad9ef","datavalue":{"value":"633515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$1105F648-7BA0-4CA5-B968-F746740D9F10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332775$F954E7FD-294E-459C-B89A-C63C43F86678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332775$74ECAC9A-C0AB-4AC6-A1D0-979DB670B4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed89bf91967dd7c6a7c8ea4f7c58086c35c0930","datavalue":{"value":"equality reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332775$9507E246-75AD-4415-946C-AD3F9D576E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf16bbd4a05fdbd1b003839acc80b324384294c1","datavalue":{"value":"graph isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332775$A04F1251-5CC1-488C-95AE-80D53A92E3F7","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":"Q1332775$2B751C70-B334-4A2B-AAF5-7F65E083040F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7611a4623c60b1c04cfa22e78f439c070f822c1f","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00084-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1332775$2AE6157C-C552-43D3-B78D-CE927C8B2927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"529c7a2d5e1e481c4c41bf74c9e4646ce101da6f","datavalue":{"value":"W2044251157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332775$607F5ED3-D7C3-4673-8F3B-180FC4E14780","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":"Q1332775$96A8F573-2C9B-4C73-BDA2-8E550646AA5B","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":"Q1332775$4991EDA0-B6B4-42EB-8F24-C82803E480E6","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":"Q1332775$769D4E92-B468-488D-8E45-B6FFFD1F070D","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":"Q1332775$4A741B1C-8C32-4607-BB87-11E643F0482E","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":"Q1332775$6FEA272A-B9DE-4640-9725-54D284FE03F8","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":"Q1332775$5B7A69DA-C72E-4863-9184-3F8452387210","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":"Q1332775$12B1EC4B-DEE7-4E31-A2EC-34616BEB8550","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":"Q1332775$FADBFCAB-F4CF-4843-853A-C7733EE15554","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":"Q1332775$C5E470BA-84CA-4D4D-B102-3DFF27ABE8F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25d6675c6a0cfc1c72e13c43f7d1cd6a0d1f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":3722543,"id":"Q3722543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc22a483d418cef8a698e044983ea1b85bb3d02","datavalue":{"value":{"amount":"+0.92981887","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":"Q1332775$887CD071-6BC8-4114-BFDF-8C9BF8F5CB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6c38f9fdbc746b060c5087fb9df00adc97da51","datavalue":{"value":{"entity-type":"item","numeric-id":3312272,"id":"Q3312272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98ad9afc8f1ea3da5d3b995195760e407a6bb9e","datavalue":{"value":{"amount":"+0.8943075","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":"Q1332775$ABF36CFE-E197-47E5-8E39-A8735CDD3D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0f46930f947a8412a5341492e15d89d6cc899b","datavalue":{"value":{"entity-type":"item","numeric-id":1057883,"id":"Q1057883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98ad9afc8f1ea3da5d3b995195760e407a6bb9e","datavalue":{"value":{"amount":"+0.8943075","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":"Q1332775$CE73D393-0310-4C90-94B7-F7ACA930EC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6dae8c5a9b30b61428162e83a0b4587a067af","datavalue":{"value":{"entity-type":"item","numeric-id":1033986,"id":"Q1033986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45babd10194a333dfc785ed21551c8d5e9ad56cf","datavalue":{"value":{"amount":"+0.8910318","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":"Q1332775$1AE0DB5B-B955-491D-8C8A-7DDBFB66430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298d38efe2192c3643db017d49650976947fe94c","datavalue":{"value":{"entity-type":"item","numeric-id":2282762,"id":"Q2282762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833086cf11fc7b69cf287760769f6352e9e0e4fe","datavalue":{"value":{"amount":"+0.8873241","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":"Q1332775$21BD3477-E278-497D-8703-D43CBFD0075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1157f3cec1139f29792e632aecd17be09be03bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5557107,"id":"Q5557107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f94f8d204d0f47006ccc24d1bb47e2df5a6310","datavalue":{"value":{"amount":"+0.879004","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":"Q1332775$A6C525E0-FC51-4436-B1A8-D2F30127F100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a49e9c9dd4a1cc01fbbd34dad83205dcbee2b79","datavalue":{"value":{"entity-type":"item","numeric-id":4239589,"id":"Q4239589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877a74c59e28450a2b722c51d254220ae650bf2d","datavalue":{"value":{"amount":"+0.8772189","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":"Q1332775$5DAFD902-3BA7-4E8D-9F1A-5C21DBEBFA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dd3433e102ed5a88be7f494c2256f70d649792","datavalue":{"value":{"entity-type":"item","numeric-id":2023760,"id":"Q2023760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a8a4ab3f2126e65afbb72f2e081ec460680646","datavalue":{"value":{"amount":"+0.87627184","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":"Q1332775$C70A91D2-ADE7-4A2A-9F3E-140A33007323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fd98be4342853169e7482647385dbe4c0a0b58","datavalue":{"value":{"entity-type":"item","numeric-id":4710599,"id":"Q4710599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8d7d7a29ef506e27e6e6901c8bffc8d4858d30","datavalue":{"value":{"amount":"+0.8724898","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":"Q1332775$D21C4BD4-A99D-4B7F-AD87-57A4900AE6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795e4678d341f9f755f5982ad54550ca4f0e4423","datavalue":{"value":{"entity-type":"item","numeric-id":1328437,"id":"Q1328437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186049d25a4b514293efb514b04fdc883ad7d2f1","datavalue":{"value":{"amount":"+0.8706869","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":"Q1332775$FC3E6AA7-45F8-409D-BF39-AAE7BFB9E080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A term equality problem equivalent to graph isomorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_term_equality_problem_equivalent_to_graph_isomorphism"}}}}}