{"entities":{"Q2055894":{"pageid":2066636,"ns":120,"title":"Item:Q2055894","lastrevid":78550358,"modified":"2026-05-06T11:51:45Z","type":"item","id":"Q2055894","labels":{"en":{"language":"en","value":"Twee: an equational theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437103"}},"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":"Q2055894$3AC534EE-B763-4BC2-B4A1-45F2B9175F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b917281451767654ec2b4dc459e4c2f267b28839","datavalue":{"value":{"text":"Twee: an equational theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055894$E7F1D34B-C8CF-43E8-BBB3-1E1E8F5D4405","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ae5a7f6c943ab0f8d370fa7eaea37646fe18550","datavalue":{"value":"10.1007/978-3-030-79876-5_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055894$6E0CA470-481A-428E-85D0-3F8AEC9CB43E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e49fcbc4c548063a98ad501641ee3ac5ded892","datavalue":{"value":{"entity-type":"item","numeric-id":1799099,"id":"Q1799099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$13792D3C-E810-4F36-B939-BCAA4F48F9CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055894$2D28EAD7-C25A-4060-8505-7DEF6D6B9DDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055894$4F5BBE40-008B-479A-BA64-B8BEA68631E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055894$55F63C56-E489-40CA-A665-9BFBD83335C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07a8504c9dfdc1a18a12bb75025d3b978df68c98","datavalue":{"value":"7437103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055894$BF565DF3-9911-4E2F-8E04-1184732ADCC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055894$A4A3EAC8-6942-49F5-889B-7661E8BB722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b75b954972df58b3b2c4e786c3929da1f4d426","datavalue":{"value":"unit equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055894$3F65458D-8E1D-4A86-9C4E-BB2E1A42E1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055894$E3853F6A-3E24-4375-A7AE-C1E13F4A9111","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde1f1fe2406d8e4d9b3565150384c790da393f5","datavalue":{"value":{"entity-type":"item","numeric-id":1349732,"id":"Q1349732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$9CA5E9AD-6C08-4AA4-8E00-E55D30FF2D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$86904393-D3B1-403A-9B05-7ECD0BDB3AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6a06223cab9007753b2048aff23e42490c80aa6","datavalue":{"value":{"entity-type":"item","numeric-id":40345,"id":"Q40345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$270AD236-DF41-4D9C-931F-6CBD62A380B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7788e96f7710fd06d5acfc0fd58327b3bfce3e4c","datavalue":{"value":{"entity-type":"item","numeric-id":40346,"id":"Q40346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$20D103A4-0270-444A-982B-033DC5D1E9C9","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":"Q2055894$0B0D1329-EC04-48DD-B3AC-CF2DB6CF263B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea1c8aea897df44e54d3f069a793f008ab2bdd5c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055894$888ABCE3-CD23-4AFA-8147-3832A91169F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0d58115a3667629e0a4bf479a7328b06cc4f71c","datavalue":{"value":"W3182937571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055894$25DDE1BB-9EA9-4D99-9B0B-69082613BDDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36cc78d4ffc2563b9bbbc047eb776f722da4818","datavalue":{"value":{"entity-type":"item","numeric-id":1404987,"id":"Q1404987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$D3765500-7AB6-4BBE-A8CF-EC7DC5B88F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$3424F36B-7C40-4B17-A451-381165E98A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1fe080668c047a45e96256ef3b2962fb036501b","datavalue":{"value":{"entity-type":"item","numeric-id":5200026,"id":"Q5200026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$93E970F3-7B18-4512-8321-C7422ACAE3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786afbcf680c210c44541586812cab9a390ead25","datavalue":{"value":{"entity-type":"item","numeric-id":1799100,"id":"Q1799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$425A6665-B55E-4ABE-BAB2-F3ADED0F29FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed459a003d29c2f97232332869151a28a1fa82ad","datavalue":{"value":{"entity-type":"item","numeric-id":5267423,"id":"Q5267423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$AA43A7D3-F4FD-4729-8EA8-E6CC5D69EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05077010557fe0fc2bead50a48aa3376695c3133","datavalue":{"value":{"entity-type":"item","numeric-id":2365126,"id":"Q2365126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$B99B7739-334C-4F0A-8153-3EE5E4616C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$342018D9-F781-4E59-A72F-CE4AB91B2526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005a359e0c4194dc29e9a7f915c69fa31db62513","datavalue":{"value":{"entity-type":"item","numeric-id":861708,"id":"Q861708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$83C9FA36-C9EF-481A-88B9-DBA6E598C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c749cacf7214e709d79a5dc896004d1ffa511b","datavalue":{"value":{"entity-type":"item","numeric-id":3150302,"id":"Q3150302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$E35633B4-8AB1-4179-B125-6566CECEF3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$DA177800-036D-4F88-9769-72A13073CBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f707d41b44671464c5d9fbd310386196c74d6c07","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$5130C1B8-4C51-4200-8454-D88E8CE9D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7fffb2327a6ce82997a120ef9ee1d8fe591d78","datavalue":{"value":{"entity-type":"item","numeric-id":2055894,"id":"Q2055894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$C2282AAB-BFD5-4BC0-BDD8-D372E9E1E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cebe0d7a0eb88e0d0f8c76f018e1e9f6f626b46","datavalue":{"value":{"entity-type":"item","numeric-id":1799107,"id":"Q1799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$BE4B1E37-0DA6-4CE8-BFB1-08C072731160","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":"Q2055894$DAE82EBB-0955-4FD3-ABCF-5CE63294AF62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca538f9a91f5be72cb599d2b7a970193505baa","datavalue":{"value":{"entity-type":"item","numeric-id":4447245,"id":"Q4447245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afaf34c6183b6bfa7bb0ce0614a10ba7609f57f","datavalue":{"value":{"amount":"+0.7730366587638855","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":"Q2055894$EA2D1CB7-C80E-4954-A518-4D44730D2742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa208176cb6fdee26605df8ad8a8c382f6c24a6","datavalue":{"value":{"amount":"+0.7680256962776184","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":"Q2055894$A26B8D78-9386-429F-A211-8050B8D7BB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a53ea5abfeaa679920eec16de9bbc07b3afe3f4","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92658a72eb33dc05379833e05845ff0b1514d9b7","datavalue":{"value":{"amount":"+0.7667512893676758","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":"Q2055894$AED14D95-1A91-492F-9C77-D8E9732DF81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b065cdf9ee5815d7aba3bc448dd3137c103308e","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04af0571c06429922b31cffeb2eef62614b2d5f","datavalue":{"value":{"amount":"+0.7601742744445801","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":"Q2055894$2AF18C33-8302-4EC8-9DAE-46A629D703C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca094adf73b2db58c56421e97dacaae30aeb0afc","datavalue":{"value":{"entity-type":"item","numeric-id":4539621,"id":"Q4539621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03497a6bc2cf16a02fcc455d4920234c0c11630c","datavalue":{"value":{"amount":"+0.7479287981987","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":"Q2055894$5121DB29-D505-4647-894B-5EA997F5C8B6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055894$D5BC629A-F976-4F83-86C8-97D1580E24CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Twee: an equational theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Twee:_an_equational_theorem_prover"}}}}}