{"entities":{"Q5747781":{"pageid":7777332,"ns":120,"title":"Item:Q5747781","lastrevid":97044953,"modified":"2026-06-05T13:06:57Z","type":"item","id":"Q5747781","labels":{"en":{"language":"en","value":"System Description: The Proof Transformation System CERES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785467"}},"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":"Q5747781$7F05116B-58FC-43D2-96E5-F0593AEA3F94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3397a63fc1f57014d3934af3b3a7c9dfa977d2d3","datavalue":{"value":{"text":"System Description: The Proof Transformation System CERES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747781$A8FD57BB-CEF4-4C3B-B9BA-96023A8662C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a8cc796357edf9e9eb2aa85b18cc94529f4950","datavalue":{"value":"1291.68338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747781$93265A9E-9FDC-48E5-B6B8-3E97B0637FED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaf9af4fa34f90f86f6e064f8358bf0f8493447d","datavalue":{"value":"10.1007/978-3-642-14203-1_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747781$7B9D54BD-2747-480E-A327-434C8FBC700F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e6a2b8be73515f37c4af408f041128a90c7b7b","datavalue":{"value":{"entity-type":"item","numeric-id":5045391,"id":"Q5045391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$282AE5D1-A08B-4310-9938-79C3CD730551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$792B4E5C-E328-45E0-B841-2EBA58BDD85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f4b4605f2cb1b1aab15c5b5f5f6f54ccfea295","datavalue":{"value":{"entity-type":"item","numeric-id":2134935,"id":"Q2134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$6DB48CA3-A598-49C4-9E01-479C8F8ADE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$BD961708-457F-4377-9024-6953D67366BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$702863E9-B885-4CB5-9AAF-1B2F489B7752","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$DC9818F6-DDA8-4AA9-B775-AD64BF409E47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747781$7461EB52-C76E-4DB7-882A-0E22A5B1F3B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747781$EEAE69BD-4F00-4DB3-A0F8-7A66ED7914ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747781$E4BAAD3A-ADAF-4506-BEE0-8CE0057DF7F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f78231b382eb0039435e58c58f08e48ba9ee953b","datavalue":{"value":"5785467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747781$57F5C120-23A6-46B0-9ADB-26F88020D341","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$B46574BF-CC55-40C5-92D4-F54BB7045AE0","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":"Q5747781$8CB155FB-A5D1-43BB-9393-1F4C11091DCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f347288ec0e9020b1f638e236cac03358805f5c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747781$0719236E-63CC-414B-A422-5B6840B9F2B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"382e0e93318b7121fa476b53a55b702b8503204e","datavalue":{"value":"W1504399489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747781$6839CD83-89FE-4187-8874-BFAAB5DF40C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$85001D5B-99E9-409E-897A-660CF4DA4208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdce3d319868b6dc8ed64beafab590c70e044","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$73FB4DFC-F5DE-4EA7-9704-FCFE621ED1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$DBB7BD45-4021-44DD-B5A1-74CC0DE7F42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$86439557-44AF-456B-B756-85DE9FF766EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$0E67328D-1E62-4FA6-9C57-F9F5EBAD2861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe7ca05964d4b09b50166ae769ef7441eabaf28","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$91714A36-3F1C-46B8-A317-30AA750B6B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46faa8f9dd9d2db15375b6f86cd9184a54fb226e","datavalue":{"value":{"entity-type":"item","numeric-id":5505525,"id":"Q5505525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$52749631-4126-49AF-B4BA-8731A105F03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134de46ed0f82349cd85ce2832456c9f55775fe2","datavalue":{"value":{"entity-type":"item","numeric-id":3605531,"id":"Q3605531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747781$4C39238F-E207-4485-9114-54CA064C6A3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987183b865f4f446f72937c8f91496cd57b6c811","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a7990149226b8f2b8d49e945e00806829b7158","datavalue":{"value":{"amount":"+0.86297894","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":"Q5747781$09D38FB6-7C12-4F41-A331-8B9D14E751A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3901a48eae202c8c8776ea2aab4f43bf2ce7e52","datavalue":{"value":{"entity-type":"item","numeric-id":2723450,"id":"Q2723450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c163dd690bec6f28d17b27ff1cb1b0a90005f8a","datavalue":{"value":{"amount":"+0.7871388","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":"Q5747781$CFDD364B-CA6A-4A2B-9D9C-1C15E76A30BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53115fb921f808a0b6931e52ea563b2e8151be4a","datavalue":{"value":{"amount":"+0.7829775","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":"Q5747781$501268B2-4972-43B5-AB84-E3550299FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cd081aca29a21584f1808ac6ef751da557a88d","datavalue":{"value":{"entity-type":"item","numeric-id":4359458,"id":"Q4359458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed020c7a106a73c0b8cd80353fd39c2f7f4334aa","datavalue":{"value":{"amount":"+0.77714545","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":"Q5747781$2E7B7B87-6E73-48AB-B515-BC7085E7379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2848982f14237c41225617c0d0a29955e6df383f","datavalue":{"value":{"entity-type":"item","numeric-id":3427877,"id":"Q3427877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd95a4be28a271f0773ee16677164c8223678a4","datavalue":{"value":{"amount":"+0.7737586","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":"Q5747781$E6227FFE-18A6-4AC0-B429-7F2D71ED4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b921450bb298e279f4ab5cf8b14415af39a22a0","datavalue":{"value":{"amount":"+0.7713777","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":"Q5747781$0CDFCF00-D2C4-4CEF-9D27-7814D0AB0F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e219b98f078c7b1c784369ec991d66227b6d06","datavalue":{"value":{"entity-type":"item","numeric-id":4993363,"id":"Q4993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eccd2fbb5ae89a0b7141a91278f8ec6dd3d2949","datavalue":{"value":{"amount":"+0.7703627","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":"Q5747781$2EBAE284-DABC-4777-A190-D3F64315A133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952dd0313ffcdf0b91b490f0739b8e7d073d048d","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b063046c54f8e02f6a3f78f6180a76615a42058d","datavalue":{"value":{"amount":"+0.7699012","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":"Q5747781$953BA9B5-69EA-42AA-B91A-F2AF7383E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613946a2c96579dfa5c29e13693a001e7089eaab","datavalue":{"value":{"entity-type":"item","numeric-id":5313060,"id":"Q5313060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29c466bc3f83ba59410478290beffa8e9871636","datavalue":{"value":{"amount":"+0.76942647","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":"Q5747781$39C2EAA1-7B39-4419-9505-E7A1792AAC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233a68f668ca909b075e48b5d4cbac003ab4b215","datavalue":{"value":{"entity-type":"item","numeric-id":4847375,"id":"Q4847375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fd1939cab17f3f97808f4b1c7706c613ff349b","datavalue":{"value":{"amount":"+0.76937366","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":"Q5747781$7C33FEDE-5C3A-485A-B2B5-EE3905D4B3D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System Description: The Proof Transformation System CERES","badges":[]}}}}}