{"entities":{"Q2271905":{"pageid":2282648,"ns":120,"title":"Item:Q2271905","lastrevid":73002381,"modified":"2026-04-14T09:18:52Z","type":"item","id":"Q2271905","labels":{"en":{"language":"en","value":"Totally correct logic program transformations via well-founded annotations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5589976"}},"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":"Q2271905$B7227919-AC8C-4968-A94D-4694EE44A9F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51bb380a4de977edce0f0871c61a04394342508e","datavalue":{"value":{"text":"Totally correct logic program transformations via well-founded annotations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271905$05A74E4B-05DC-4D59-9CFF-E95C4270E6F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79fac52ee0f8de299fd7ed016619117e9bd715c6","datavalue":{"value":"1194.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271905$5B014128-2865-44F3-9A99-913BCB835E71","rank":"normal"}],"P16":[{"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":"Q2271905$8104D0AA-8FD7-4803-9A74-EE6B00A4DEE3","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":"Q2271905$46794838-34A5-4C5B-A98C-DAA2D53D186B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$1C65700E-938B-4B84-8DBE-C606022F93C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f946e7143a34243eee6c655d526c1b0b69f3bbf","datavalue":{"value":{"time":"+2009-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2271905$6E615BB8-5F20-49F6-BA15-866E96E8B69B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b051229749d758d0f5036a1c59a539c2f0dc42d1","datavalue":{"value":"http://hdl.handle.net/2108/41687","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271905$161F0D0F-2296-4D45-93EA-0E57421B0D9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271905$AC93FB9E-B6BA-4E27-9BD6-834D225CBF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271905$2278964A-06BB-442B-A481-DE7ECA5A72DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bde94455a8de077cb27dec221691168d01a64355","datavalue":{"value":"5589976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271905$87246BE5-DB0F-4912-B97A-92A37F4BE513","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e216ea9fb9dc149612cfb05f9c8c4d9b17f9e7","datavalue":{"value":"program transformation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271905$6D811A40-78EB-4E7B-949C-ABD9A177B977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271905$FA2E8D01-8DA6-4F33-B838-B20F0FC6C381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca9b1033b4524a6757892752b1ae1272e32b02","datavalue":{"value":"partial and total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271905$3119953F-4DD7-47EB-A191-9E67F0137300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45c0727789e93e4dd9c1807cf853452915e0441","datavalue":{"value":"well-founded orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271905$7D4FAB09-EA8B-40E7-A0F8-A69E3F07BFA2","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":"Q2271905$0D0FA546-EC69-4D9B-B68C-4AFD625D744D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bb05dd7ebc2a6eb7a8b0915c0aca5e43e18a5e3","datavalue":{"value":"W2056630677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271905$EA792607-7F22-4C3C-ADC1-62A4CF19B2EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$1F0E0B26-2EC8-4214-8D88-8CFD5161CEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$60B1139F-1102-4E40-A5AF-2FFA671E4014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$B6008CEF-C819-4F01-B75A-1A62DE916F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f8606a5beaeda3bef4d19b335f711378bed45c","datavalue":{"value":{"entity-type":"item","numeric-id":4870068,"id":"Q4870068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$2A3A7969-4429-4694-BF73-4E9982ECFF5E","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":"Q2271905$0CC0A10B-41C8-4E86-91A1-5E2AD09F0A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$4C3C824C-DFB9-4C27-9B5F-918F85FF23DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$DEBE20AC-E7E2-423A-B567-9DAD8054FD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$29B631F5-7075-43BF-BC48-28A62087E8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f720b9345321c44bb6d8cc0a16e6c705607f8508","datavalue":{"value":{"entity-type":"item","numeric-id":3783512,"id":"Q3783512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$FFA46ECE-1825-4374-BB02-3E1E1E95C044","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":"Q2271905$DDBCA8F2-5DCE-40FF-BA74-C0BE2AF45257","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":"Q2271905$57D9912F-E92F-4F5C-8C2A-1598E89C4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808e39bccff475c7b654b044a520d206c22bcccd","datavalue":{"value":{"entity-type":"item","numeric-id":4939537,"id":"Q4939537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$7BAF84E2-080E-4111-91F5-C64A591D5E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc3d89a265c0fbf05cbcc30aa42dec8f0736b15","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271905$411D092C-55FB-46FD-A2FD-30EF922769CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e614b72941a42a36d460c8fb76094900b126b9c","datavalue":{"value":"10.1007/S10990-008-9024-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271905$88B22737-928C-4DEA-95CE-07B111C6835B","rank":"normal"}],"P1643":[{"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":"bbbb76367a3c3800c6cf0a80a2503fa95501ce6f","datavalue":{"value":{"amount":"+0.8525248169898987","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":"Q2271905$7A208F16-D252-46D4-827A-07E5C30CBBF2","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":"63ea4215df42b9012c5534817dca6fd986510f76","datavalue":{"value":{"amount":"+0.8383154273033142","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":"Q2271905$8B938768-0558-4F22-83E3-F4B0A8C94408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47668e36d63c7cf6e39deba496fb556724f33504","datavalue":{"value":{"entity-type":"item","numeric-id":4517379,"id":"Q4517379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851434a224f58f230eb254559e0c11510ec07ba1","datavalue":{"value":{"amount":"+0.8248478174209595","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":"Q2271905$A18D8F9D-197E-4A1F-BA35-0B932DB52A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42302c140e38d1b4d07fedf99a6cdc445beb17a8","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e8cf27f14b1b86ce049010286f91233770f0a3","datavalue":{"value":{"amount":"+0.8122326731681824","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":"Q2271905$515B6B8E-D003-4988-9F4C-056F3824872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e8cf27f14b1b86ce049010286f91233770f0a3","datavalue":{"value":{"amount":"+0.8122326731681824","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":"Q2271905$C0968620-D80A-4D1A-8A36-97CD328C8072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Totally correct logic program transformations via well-founded annotations","badges":[]}}}}}