{"entities":{"Q882487":{"pageid":884335,"ns":120,"title":"Item:Q882487","lastrevid":65072424,"modified":"2026-04-12T00:07:21Z","type":"item","id":"Q882487","labels":{"en":{"language":"en","value":"Deaccumulation techniques for improving provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156681"}},"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":"Q882487$D0422280-3987-4B3A-B3AC-BDFCEBBF0550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abcc6dff5db27e47ed2ceaac9cbce5d4824ed7f5","datavalue":{"value":{"text":"Deaccumulation techniques for improving provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882487$9920D5F7-D0E7-4B34-AB93-146BBC1B471A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73ed37e89279a1202b0779e3efc156498ca90a74","datavalue":{"value":"1116.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$F46E8B18-85AA-46EB-BB19-BBEA0C78C529","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$D924A3C8-0638-4E1D-A22F-99DC91102FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1165ffb828803971fbe98ec6f387283a0cf2de2f","datavalue":{"value":{"entity-type":"item","numeric-id":882486,"id":"Q882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$6EF14CB4-7C3B-49D5-B31D-0F0F3829253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$EE5A0EC4-3316-4C8B-8475-B985468DD3C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$2582C1B7-60F0-47F2-9FF2-4D9926B51CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882487$8837837A-A74B-465C-BA0E-707C0885EE48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$BB1B0CAD-BE01-444A-9FB5-A9E52AF6EB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$BCA5727A-879A-46B5-B5BB-8C8DA5E20DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$22B9F703-36C9-4D9F-A727-23BBA57959C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17d996194e9def54db94fb49c9646e60e175e4a6","datavalue":{"value":"5156681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$E07C3C14-8F70-4910-8892-E6D78F1C6921","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e971c9fd8a445192e44006e754cf7b083c39b6f5","datavalue":{"value":"tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q882487$3B9F12F8-FDA5-42E8-8245-E9DA13992314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054d89280687d9996cfbe0ff858ccafea7f94de5","datavalue":{"value":"induction theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q882487$7B012C20-8EAE-41AA-BA16-2778D252578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062f1d1df6512c5ef0786155cc75df38da63705b","datavalue":{"value":"tail recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q882487$37474FB6-7B5B-4749-A28E-1309E27E5ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q882487$E2D98BEA-C2A7-43E2-A30C-F30AD0163D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q882487$012332D5-EFEE-402B-9531-9542026692E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$F82AC022-A83E-48D6-9CF5-3E4678CEAE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$0660B833-6908-4ED9-B322-AB8F1A8DD7A5","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":"Q882487$226E4357-6AD9-44A0-B16B-6A147AA205FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d73ebe7e2637ec06b626b953c308f58e08be1673","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q882487$6B71863A-CB28-4CEA-9867-6B953EF9F9AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b08bf81baec840915c4f587b88a412e35c120bed","datavalue":{"value":"W2089817457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$09696492-292B-4C80-9360-31D37BBC938A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0843e7f8e29d84aa6b7b4f9a110eadf9b3b1959","datavalue":{"value":{"entity-type":"item","numeric-id":1134541,"id":"Q1134541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$D720BF05-537F-4BF8-8AB4-DF5B369FB611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$DF7A7946-B754-4893-B4ED-D95E2B38D40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde7f40e5a1f7e9dca73d242f651e960f1419fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3330483,"id":"Q3330483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$68785DB8-A39F-40DE-ABB3-3150AC4202DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$AFA3B89D-156D-46D7-9DD8-CDA04E51E570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$F20FC78A-2BA0-4BEF-8EE4-D214176D903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$1C95E8D8-ADEC-44CC-8138-5717EACC5958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$177576FD-5A29-48AB-A65A-239BBD53834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$C3EFE798-EFF6-4BDD-B88A-AF0209FDEE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2286eb334c2f9f8a0f652d8c77c5da98301799fc","datavalue":{"value":{"entity-type":"item","numeric-id":3334052,"id":"Q3334052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$40F20F58-CF4E-46F8-A84D-97E19AED5764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$D9CF41A2-E8C7-4BF9-B6B2-610D161D6B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b1f4b3a245499245e639ec4acfcd5653f4b709","datavalue":{"value":{"entity-type":"item","numeric-id":1424364,"id":"Q1424364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$60B4B47D-B6D4-4572-B973-D60B8D0AFFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81bd5fe2316c0fc5ee15f4844e9b2a6e5c30f7","datavalue":{"value":{"entity-type":"item","numeric-id":1073576,"id":"Q1073576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$69F355BC-B978-46A0-A97B-8FDB6B61DFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecab7f463bf076a9d7c49913a50d25f8d97973f8","datavalue":{"value":{"entity-type":"item","numeric-id":807012,"id":"Q807012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$9DC248EF-D28D-41C8-8037-B2C1715500EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b8e814dce71aea6c1012700774fe294c242f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2736594,"id":"Q2736594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$1CA158F5-BF30-419A-AD51-6A7A4066E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f80eae19370bdb5f57fc5fbbaf84afe99eb0832","datavalue":{"value":{"entity-type":"item","numeric-id":3925893,"id":"Q3925893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$8FD93429-1975-41A1-8E63-27EB03B669C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eebe48f5ef26e93fd20d62b5053775dad68cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":4210160,"id":"Q4210160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$069DF989-E91E-4C3F-8FFF-09572035740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c9aa37d38c721994e679d0d73c23eefec4482e","datavalue":{"value":{"entity-type":"item","numeric-id":2723934,"id":"Q2723934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$683E7152-65B9-47CE-BF32-EA146FBB8C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68729502ee9f00c860f462812cb9810e3b18b9e","datavalue":{"value":{"entity-type":"item","numeric-id":5896945,"id":"Q5896945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$948786E9-BA2E-438F-AD18-71E0C06070B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$4071DD96-24D9-4190-A099-2F633488ACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e163e92f81893757fc5a04f9a66e5ce1099018","datavalue":{"value":{"entity-type":"item","numeric-id":4267724,"id":"Q4267724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$D87E8A33-FD02-4BC0-838A-99FBC7670B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21cca1367a8a20f525f9a3b3fbdabfcc7e016250","datavalue":{"value":{"entity-type":"item","numeric-id":2766775,"id":"Q2766775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$6DC006B9-8F69-4B9D-AE10-09FC4A6D9D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd84eee7bbe75a88e099219df47569ca17daa41f","datavalue":{"value":{"entity-type":"item","numeric-id":3149665,"id":"Q3149665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$0810CC55-05DD-4017-AC90-518FDA184D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b3d34184d002f288f14e898f11f7a9cdddb41f","datavalue":{"value":{"entity-type":"item","numeric-id":3623933,"id":"Q3623933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$E7623752-1A38-4046-BECA-B1C70196E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5ccf0b70a10206d3060a0ecdfcb0df27797b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$90EEA638-4DAA-432E-9C97-A6D7EEEA6E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61911aa868b99ab795a37ab618979b0fcc24158","datavalue":{"value":{"entity-type":"item","numeric-id":5191529,"id":"Q5191529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$349F1733-7911-40FE-BAA7-E9A2720F01F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$0F0BF976-1DA5-4EC7-B5E8-99A6BF2B334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553138d23a55c510b177daa43c21abe0e4339d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3618833,"id":"Q3618833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$5B1AF1D8-15F1-42AC-A2B4-198563DCFBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed7396d33acb5bffa89e4a8552f1e6bdaea2114","datavalue":{"value":{"entity-type":"item","numeric-id":3996676,"id":"Q3996676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$24F82D01-E60B-43C2-B9F1-EC6ED84911C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$59650A6F-98BB-41F2-8440-4BC2CA9D88C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661a35636a8584041bfbde882918d22d545430f2","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$14069757-8D91-4E97-A44C-8884C89CF80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63be057f1dbf872e8af155ca01c9414977fab2","datavalue":{"value":{"entity-type":"item","numeric-id":5603192,"id":"Q5603192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$D2D75CDE-03FC-4870-97BF-46DD731029D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99f40b0b2d622ac0a1c1914f5fa2269832233f0","datavalue":{"value":{"entity-type":"item","numeric-id":2949199,"id":"Q2949199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$BE0908C6-F8AC-434B-B1D3-54B1B36BD219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$3884047F-61D9-46A7-A320-319EDB12859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24028f52c80ca0094729ea97910eba2058df57d4","datavalue":{"value":{"entity-type":"item","numeric-id":1183550,"id":"Q1183550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$4CB49BF6-31ED-44FE-9EB8-38613C480A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e664f7904f880be5828017e4e2b0d35dc97abdff","datavalue":{"value":{"entity-type":"item","numeric-id":2949187,"id":"Q2949187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$4BAAB0E1-336F-4F84-9431-9404EE16DE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4242d51d354a8ec36bc74d6cb39aa9a70386b148","datavalue":{"value":{"entity-type":"item","numeric-id":1768475,"id":"Q1768475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$76252DA4-7376-4EA1-8B8A-62A1011C5E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce56cbcef8de053609902761d2ffb552efaf2fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4669644,"id":"Q4669644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$7EBD34BC-017D-445B-BBBF-239556553F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882487$8285BCBB-B8E0-4672-B4EC-B094FCFBE81A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac931a9bfdb3ce114b571bae5cf1d1394882a6b5","datavalue":{"value":"10.1016/J.JLAP.2006.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882487$47C8BE3C-6621-4226-98BD-2261D13CCBEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99387871c9d552c3be5c78e7a6b920f1049d820b","datavalue":{"value":{"entity-type":"item","numeric-id":5896945,"id":"Q5896945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456a99e570122b494d52a7493ce2bc8f7ed95cef","datavalue":{"value":{"amount":"+0.9676737785339355","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":"Q882487$A8A57878-A31A-4E69-B3B1-22AFCBC43127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a0faa37cc63e4a8a76df786dc22dc50631c836","datavalue":{"value":{"entity-type":"item","numeric-id":2723934,"id":"Q2723934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fe2622eafcb88acec1695a845c1e3db3992931","datavalue":{"value":{"amount":"+0.8001799583435059","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":"Q882487$76FC6A04-8E11-4597-9AFA-ABB296EC3719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a8b2e437e8c85bf109db0bf808ee8f45a4ad4d","datavalue":{"value":{"entity-type":"item","numeric-id":4267724,"id":"Q4267724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d5e6e2ddfcc2bafaffd61c9c64bdb5d71b9811","datavalue":{"value":{"amount":"+0.766033411026001","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":"Q882487$EB309AFE-21FC-4455-94BC-334F7F431C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d5863fbd3c6bdb2972e7052f02e2ba1fcfe142","datavalue":{"value":{"entity-type":"item","numeric-id":3623933,"id":"Q3623933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eea935c158d3a18ec2f689e13b0c7583972391","datavalue":{"value":{"amount":"+0.7280895709991455","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":"Q882487$018E92A9-E73C-4AE9-ADA1-286E846764DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2c4dbff4fe461c87fbbe2fe44bcc82743c1235","datavalue":{"value":{"entity-type":"item","numeric-id":5179363,"id":"Q5179363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c702c744ec4f3f8f2edfc0fc4e34dae898592c","datavalue":{"value":{"amount":"+0.7254019975662231","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":"Q882487$F1A3C359-9BB6-4404-90E2-B6C8B18D4BB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deaccumulation techniques for improving provability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deaccumulation_techniques_for_improving_provability"}}}}}