{"entities":{"Q2865083":{"pageid":2875803,"ns":120,"title":"Item:Q2865083","lastrevid":51881429,"modified":"2026-01-20T11:28:06Z","type":"item","id":"Q2865083","labels":{"en":{"language":"en","value":"Proving theorems by program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234239"}},"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":"Q2865083$77DC0B52-4688-4334-90F6-C21713EAC656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67a57e46f79c03596d145a072262dd06c2fe1755","datavalue":{"value":"1315.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$8EFF2413-8A40-4863-A4BE-7EAB55E82456","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20322ac3846bedccd2eba5252aed857032e95aff","datavalue":{"value":"10.3233/FI-2013-899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$5C56084F-0852-480F-ABFB-7A543E208C88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865083$40C05B3E-C586-40F2-B7CF-2E1BB05E31E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865083$B0D532A4-53F6-4146-8BEC-2F62CCE7354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865083$D65E5402-6419-4834-A91C-D22163DC8C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865083$90DC23E9-06E6-430E-B961-5C411DA1E4D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865083$F29361AC-364B-4E24-8782-129F0217816D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-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":"Q2865083$E118B5DA-8656-4A70-A789-2254D265AE09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$1BBB34EA-137B-447D-8256-90C294BAF36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$427E6E7B-FAFF-4596-B3CC-5C6EA44D171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$DF85ABAD-816A-4EB8-ABB9-60C87E912877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$CD84C23B-B9C0-4572-B9EE-E277706E1BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$63DF6533-7F4D-4DB2-B10C-32FC21DBE950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4147abbb41246032106b895854058e836e96a2ff","datavalue":{"value":"6234239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$463C67A8-5830-4EE4-9808-83B38A0658C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$E511AC2E-5673-48B9-BCFF-F3BE54633A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$2D59AD2E-38C9-4A87-9FB7-61612967E218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$A61100E7-5195-405E-AF84-D842DCB71489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c70679488f854d98013845cb75e8bf7b0e19981","datavalue":{"value":"program specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$4535C181-37DE-4BA7-ADD8-DD45A6D8A718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$39BFFAB2-E169-4573-BF01-69DC8F4BF0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$34AA69A3-BF76-4074-87FE-A8BA0C888524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865083$B6E12C83-3F72-4E30-9D93-5777DFC7CFC8","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":"Q2865083$726ADB69-45FB-4E60-A576-B8AF585302D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd0a7709a8dc819957e9604230f7c5b36a70432","datavalue":{"value":"https://doi.org/10.3233/fi-2013-899","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865083$2AFF0C28-B261-4BB2-8174-4D17097872ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5fc053a75456b2107d84fe0ab1d30942cdbaabf","datavalue":{"value":"W1555798792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865083$13C2457D-BD2C-45CD-B8A5-4DAFA4DB89A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e144fbeb6c440f7476f440dab4cdfa049f9751be","datavalue":{"value":{"text":"Proving theorems by program transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865083$E7B572B9-8C03-4FC0-8300-99FB0015A099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628374b6c98a60216e4dc977d50d100288fd83bc","datavalue":{"value":{"entity-type":"item","numeric-id":3608667,"id":"Q3608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b0f3cf0c893dab63c83724685bd84938dab140","datavalue":{"value":{"amount":"+0.8422394394874573","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":"Q2865083$1A6DB8D5-CE30-4A59-A515-74FAD352A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6716d6ecc84eb79fa308b7a301b91dfa012d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1941873,"id":"Q1941873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4870a79d1d61492a11d8996ec3dbb98ce44671fc","datavalue":{"value":{"amount":"+0.8405773639678955","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":"Q2865083$C9EF0C53-D741-4F5B-BFFF-F33FEC81EB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703f0565e4c6e847f3f5557b5be5659915825e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3003489,"id":"Q3003489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a028fba72d0338769e01e5ad561371431c475e13","datavalue":{"value":{"amount":"+0.8159239292144775","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":"Q2865083$C38B0A20-BDAC-4F3C-A728-54E9BFEF8407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db798162da9c996084b740456339b092a7fda2da","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b91cfa19da70fc4d46707a86462d82af4d8e16e","datavalue":{"value":{"amount":"+0.811869204044342","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":"Q2865083$42E07BD0-1EAE-4B92-BD99-557A9325F913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05fe193fbdfe5e591507789b05eeded8bd3a35b4","datavalue":{"value":{"entity-type":"item","numeric-id":1200980,"id":"Q1200980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b219dc9c823198cceeca00a10f88ee80df86398c","datavalue":{"value":{"amount":"+0.8113417625427246","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":"Q2865083$3B4F0B23-CCA4-46FF-81FC-F99FAFEB0DE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2865083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2865083"}}}}}