{"entities":{"Q3003489":{"pageid":3014213,"ns":120,"title":"Item:Q3003489","lastrevid":85964594,"modified":"2026-06-03T12:48:06Z","type":"item","id":"Q3003489","labels":{"en":{"language":"en","value":"On inductive proofs by extended unfold/fold transformation rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900389"}},"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":"Q3003489$A4921827-B279-4C1D-A63C-F4C191DE7AFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"496e2e0dbc54e63d7f8932e3730092e1d2bea376","datavalue":{"value":{"text":"On Inductive Proofs by Extended Unfold/Fold Transformation Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003489$1FEF9773-927A-4C48-913E-9D0FD0F072F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da558c1b354d36a61d3e4f48a78e9266156e8ccc","datavalue":{"value":"1326.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003489$DAA47E90-CFC7-4EEA-AB72-E996680534E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"403699a3b82cb7739e31cff6c4af792ba13415bd","datavalue":{"value":"10.1007/978-3-642-20551-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003489$10976663-B5C0-430A-83B1-4D71C4E2BFD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a32b8a393a965407422b1e26ed1865f6e692ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1075754,"id":"Q1075754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$5C29E277-567B-4F62-911E-5F2CF5CAD528","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$8F40BA15-C592-45AD-BA50-A69668D2260C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003489$2BE6C01F-2266-445E-8401-426CFCADEB6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003489$C3D0EA14-A748-49BF-9E39-30C1DCAD2197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eec0014bfe79ef5c040940ff36c2c59df69c4efd","datavalue":{"value":"5900389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003489$59C589C5-4F06-4531-92BA-13FB025AE95E","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":"Q3003489$598E1468-D89B-4F11-B3AE-03A2A1B9C7C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01950a0fa5aa5332a3246562fe1f6780679ee6e0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20551-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003489$A317D290-6C2F-4586-908B-DB4BA162DE31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6ecaa8cd9cce58f2d980855c9a593a920831db6","datavalue":{"value":"W1504235253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003489$235C9122-3272-437C-AB34-3DC0BB0A2120","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9567afdf9aa7b5a523e188a2465c4f1254f30c","datavalue":{"value":{"entity-type":"item","numeric-id":3125899,"id":"Q3125899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$05CCE5E1-2D83-41DF-A7AA-82AD537410EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6cfa38045f84330f697c142801bdf874559aec9","datavalue":{"value":{"entity-type":"item","numeric-id":5712537,"id":"Q5712537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$B32EE6C5-D201-4DF5-AE0C-70BFE13A7AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$39249291-7E23-4DD0-B80B-777C5EE902C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8d76c6c2a703677e15081f90265ace1b4e83d2","datavalue":{"value":{"entity-type":"item","numeric-id":4305629,"id":"Q4305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$2905459B-CEC3-43C6-882A-2C0542677455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b438bbb516811f205ec8f11e9219676250dfd808","datavalue":{"value":{"entity-type":"item","numeric-id":2767091,"id":"Q2767091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$A69EEACE-9C5E-45FC-9C49-1C31556D37F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2701579b5ef7395ed7e1cf0a8c826012abae928c","datavalue":{"value":{"entity-type":"item","numeric-id":3558281,"id":"Q3558281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$11086C6D-552B-4749-B72E-3E43171D18FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$B70A2ECA-2B7E-4E9B-9F1E-D65A4A366EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8de35220b0c3429518ad82b9a79e4b6f730b07e","datavalue":{"value":{"entity-type":"item","numeric-id":3021960,"id":"Q3021960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$D977A66B-DFDD-4C8C-A056-7653349C83C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3931b887043011d655e3d58abad5a52db4fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3617437,"id":"Q3617437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$9726DDA9-A02F-459E-938E-D6178AAB6289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d384171f2a4202c84967fa36d41220796745ddd","datavalue":{"value":{"entity-type":"item","numeric-id":3558288,"id":"Q3558288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003489$1B625A33-CC01-466C-ADF2-911BCC8BD7C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e22912411c2c27705ce0376f7e5d1d047d74fc","datavalue":{"value":{"entity-type":"item","numeric-id":3558288,"id":"Q3558288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258aa3736c5d320edc783bf20c418f81867e72ab","datavalue":{"value":{"amount":"+0.8816986083984375","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":"Q3003489$EEAB9535-F65F-41FB-B140-B691D19AB4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"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":"Q3003489$9FDE39B2-40BF-4454-BDE5-954F13043FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8c9595ff9c2620074ae5ff7ad2665b1a026b43","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398687f23dd7125c0b51d67437820d95fa3e8cd6","datavalue":{"value":{"amount":"+0.8150596022605896","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":"Q3003489$A15FF659-6FFB-401B-A0F8-0250F85382FF","rank":"normal"},{"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":"8cb21815b789f9cecbc10983fccfb553e5b5bfb0","datavalue":{"value":{"amount":"+0.8143971562385559","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":"Q3003489$96704D2E-5B4E-4F65-B444-6D04B252D37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd969b5fc7f97a2b5042f32c27d3b98479b4a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3021960,"id":"Q3021960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc6fd8bd568cfbcca44fd48b79fe2aa90ead96c","datavalue":{"value":{"amount":"+0.8139586448669434","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":"Q3003489$C742441D-E705-40CB-AD62-E9F21700D10D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On inductive proofs by extended unfold/fold transformation rules","badges":[]}}}}}