{"entities":{"Q1404987":{"pageid":1415727,"ns":120,"title":"Item:Q1404987","lastrevid":67521987,"modified":"2026-04-12T18:34:29Z","type":"item","id":"Q1404987","labels":{"en":{"language":"en","value":"On using ground joinable equations in equational theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1970577"}},"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":"Q1404987$F4A4BE12-952F-4279-A985-37F1B0B9E56F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32c64371716d70a53964c75842ea652c0f420503","datavalue":{"value":{"text":"On using ground joinable equations in equational theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404987$238E3E0A-0725-4A0A-8F93-DC2D7B18C414","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cfccba427d5dfd10cc55dfd25c2ce138d62978a","datavalue":{"value":"1019.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404987$B6E9A0F9-941B-43E7-9EE5-D13AAB8B582D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"973f448fd2b35ebff4c9d42047ccaade1d2932b7","datavalue":{"value":"10.1016/S0747-7171(03)00024-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404987$764EF76A-9643-432F-AA0B-5BA1FF71A335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"044a615c642dd548eb33b509f509dab0216e096b","datavalue":{"value":{"entity-type":"item","numeric-id":1404985,"id":"Q1404985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$59D85743-64C0-4435-A952-45F819C56892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca21ff7d743cf6b0902f40630f2a6ab3da1a616c","datavalue":{"value":{"entity-type":"item","numeric-id":174769,"id":"Q174769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$2C5C0A1C-ADD1-4D69-86CB-E4FEA470450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07161db1e8f2e19f8cd9751578ad00734a1fc394","datavalue":{"value":{"entity-type":"item","numeric-id":844196,"id":"Q844196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$B7637C9E-7D58-4E2A-B008-0D4334C27E30","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":"Q1404987$8248D5C4-F667-4E4C-8270-12C49E38806B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988a1f1f38c2f749de54c12ebc5774f827c2b17e","datavalue":{"value":{"time":"+2003-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404987$41AA6627-6EFC-46D9-929C-FF72EBBEA712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404987$0AF4A2F8-BAC4-4BF2-8EF9-A228F7C952BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404987$8FDB4AC8-C05F-4FD0-B1E6-2F36D5321B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db19558f7e9f36d3fcea872c62bcc11a76cda364","datavalue":{"value":"1970577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404987$E34B9731-6963-454B-861F-A066595E4CFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404987$DA2FEE8C-ABFB-4A0E-A922-2231BF5874B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404987$F18F2799-180D-4B25-B268-6733393A2076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca11880db5fd08458184f3b66d602584b3505008","datavalue":{"value":"equational theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404987$D4687E97-DA0C-4588-A33B-BFAB820C9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff2ac6868208d4d4c5d761a5bd291ae4a7b5804","datavalue":{"value":"ground joinable equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404987$AA3478D9-8782-4340-A891-89FC373A2C1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$98F8DDF3-2FCC-4308-BFDD-C4EFF682DBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$ECD2AD3F-E047-4A31-BDC1-D045933D5525","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":"Q1404987$E8A751B3-AA6B-41FF-80D2-6D4382957F7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$0E6E1241-F6A2-4FEC-9001-0F9347E81C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67be0822f2ea25493074f855c573aed35f47e829","datavalue":{"value":{"entity-type":"item","numeric-id":673134,"id":"Q673134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$F8DD4B47-F28B-46ED-ACF5-0E6F9C9959DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd34ff0fdea6a60e33d35058f89012af60874120","datavalue":{"value":{"entity-type":"item","numeric-id":4936127,"id":"Q4936127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$4E84C89E-ED31-4A0A-9691-683D499782F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf670e64a6cf63cb8d60b11cd930f4ce42cede15","datavalue":{"value":{"entity-type":"item","numeric-id":4524770,"id":"Q4524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$DDD9D1E2-B57C-49B1-9944-23C370E5B0E6","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":"Q1404987$BB9143C1-9DD3-48E7-988D-C00BDE532F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbe446638a30935c3b4739bf981a9ef50f564f2","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$23AD8DC3-5D5B-48E3-9A5F-2C151E943D5E","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":"Q1404987$3679C6E5-0DE4-4BF6-9295-CE80B169641A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$118617CD-3EBA-49C5-A361-9308D6792840","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":"Q1404987$0F6731D0-22F0-40D4-A42F-6CD23C1B51C7","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":"Q1404987$16F71DCF-BE4F-4CFF-BA97-0A5007851D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2bbb140c4dbfa368d507d72919bce6409b4ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1977578,"id":"Q1977578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$75876E6A-DBD5-4482-A9BA-D2A8351E85E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$CC71C12C-54BF-42AD-A066-9BD7EBCBBE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$91B78861-351B-4109-B2B9-4D2CACF6EC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5196e47324534310ef9a573cc87abfd23b2c4d","datavalue":{"value":{"entity-type":"item","numeric-id":6488546,"id":"Q6488546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404987$13D5788E-A4D0-4533-A701-F110E938F6F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e177a7fbd9fdda8f4bed60bafb0e98cb0ba49ad5","datavalue":{"value":{"entity-type":"item","numeric-id":5307048,"id":"Q5307048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ad196944ca8f39bbe533e8d1d5bf0d0a45cb3c","datavalue":{"value":{"amount":"+0.7877071499824524","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":"Q1404987$E607501F-082F-4498-8E96-CBA7C56E7089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c1b03cc2020fa8fdf4b63687fafd311eadecf","datavalue":{"value":{"entity-type":"item","numeric-id":5055778,"id":"Q5055778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b643ac0b7ba2864e70cf36ab9b06a9f7a0f42afe","datavalue":{"value":{"amount":"+0.7875831127166748","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":"Q1404987$83B0CD4F-CDCA-40EC-8B27-946673D27591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2823e044ef7641729cfb7ecc24a90fa85b184018","datavalue":{"value":{"entity-type":"item","numeric-id":4539648,"id":"Q4539648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a5b6dc29577022b637d25bb74e4ad845e5d405","datavalue":{"value":{"amount":"+0.7742787599563599","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":"Q1404987$38A34C40-63E7-4F15-AA00-483D2807E5A0","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":"1bcf0453581b9e3666d89cda5d2cd02d455119af","datavalue":{"value":{"amount":"+0.7578982710838318","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":"Q1404987$66EE79EF-9BE2-48B6-A156-1DA8B81E47D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea7b4bfe345214b3a7d89898919506fa6dcff83","datavalue":{"value":{"amount":"+0.7577833533287048","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":"Q1404987$D42E9E62-6AFE-46F4-B692-0834034742D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On using ground joinable equations in equational theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_using_ground_joinable_equations_in_equational_theorem_proving"}}}}}