{"entities":{"Q2900532":{"pageid":2911257,"ns":120,"title":"Item:Q2900532","lastrevid":51517394,"modified":"2026-01-18T14:41:51Z","type":"item","id":"Q2900532","labels":{"en":{"language":"en","value":"Applying visible strong equivalence in answer-set program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059522"}},"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":"Q2900532$DF03A188-EF9B-4017-BD90-25FA1ACF45DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357e7e59523493dfb29edea73129a2ce9871166f","datavalue":{"value":{"text":"Applying Visible Strong Equivalence in Answer-Set Program Transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900532$4023CAD2-DB2F-42C3-889C-D50FD4CFCA48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"324518c147299e94ecdb13477e7c2616d49f3a10","datavalue":{"value":"1357.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900532$D10651F1-459A-427D-9469-F216359C189B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeb4a4d47c5edc841d8f178bcd617647697d3513","datavalue":{"value":"10.1007/978-3-642-30743-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900532$B8FD9706-2598-4681-BCBD-7F40AC623052","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$6087BB55-C57A-40AC-90F3-2DC249334410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$45AC276D-CCF3-4DA1-99A1-D8302BE90F62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa733e1850763709bc9073c4421e2a032d1dee93","datavalue":{"value":{"entity-type":"item","numeric-id":2900497,"id":"Q2900497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$CC5227B9-A801-44EA-94B0-BDD77574201F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92b609966e3495f45f2960464f0beccd37f30b2f","datavalue":{"value":{"time":"+2012-07-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":"Q2900532$6B7910AE-A626-48D1-8159-6F6C67B11719","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e5af88af0eb64b9f7bdb938fc42ac24cd58ce02","datavalue":{"value":"https://aaltodoc.aalto.fi/handle/123456789/61774","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900532$28232646-1FE4-4CB5-A01C-F7009074E789","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900532$7A6A69F9-2F04-4F6F-AE61-34CBDAA0DE72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd246ea92ed0b6a170c4e14c6880511098873d95","datavalue":{"value":"6059522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900532$E80E223C-4737-4DCF-8FFF-A3072CC403B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$2006E50A-FAFF-4B22-96AE-5C31C003D345","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":"Q2900532$E15AACD7-C515-4D7A-9DA3-32F63A95F91E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bad7466e5cfecc2d8c1a4f95bfce2daaf9b87128","datavalue":{"value":"W3139333323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900532$E135BD73-D1FE-459F-BD4C-2E102CDB713F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$B0DD60EE-962B-43DD-ACF1-C18D6AFD7C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$0FA0CFED-DB69-4C32-9CE4-B7D117DA5B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7446bed6881fc83121d6738a8d42804f2baabe98","datavalue":{"value":{"entity-type":"item","numeric-id":5424867,"id":"Q5424867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$6C4EA5ED-71D3-4D24-AE5F-CF8FAB7C908B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$80E85F95-CFB7-4BD7-92CD-FF0F11A3B767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8968370e8664bac5c6147e0b6215b90deb36b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3008405,"id":"Q3008405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$A82CC076-A0E7-4958-BAAB-8121929A36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$302B0CA9-6ED0-4955-AD23-8DC1D9AC21BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$1584FA64-5735-4995-A261-A2D6C22A93FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a36625d8dee2e935e412d9789af13a32cec5566","datavalue":{"value":{"entity-type":"item","numeric-id":3001916,"id":"Q3001916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$193E722A-A810-4E38-9A58-D4ADB277737E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd43d84bbb3d71e8bbc900e317961aa8f5dd947","datavalue":{"value":{"entity-type":"item","numeric-id":5431418,"id":"Q5431418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$0E15635F-7B92-4BDE-90BC-E67502374540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d67e2d00061c6573d061d96344b5840b778f57","datavalue":{"value":{"entity-type":"item","numeric-id":3651481,"id":"Q3651481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$F70F213F-D34E-464B-9F69-287B66DF5B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$0550FBA6-C5BE-45E1-8BB3-DA3DEBA1F067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4601db57cf6ab9d447a26ef9cdc8139c8920b244","datavalue":{"value":{"entity-type":"item","numeric-id":3624035,"id":"Q3624035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$3316E71D-C0E8-4ACB-837F-8FE582970C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8b0dcfa897a7e64eee00075ddec30ee583352f","datavalue":{"value":{"entity-type":"item","numeric-id":3546042,"id":"Q3546042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$5F9079B0-E90A-4EF9-AB4D-D8DEB1312260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$0972BB6E-EB8F-4767-B484-18DB9E0C1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea29fbe4535100c02e40355b10abbf2212a36d08","datavalue":{"value":{"entity-type":"item","numeric-id":3643124,"id":"Q3643124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$6A9C6D22-EE71-45A2-8BCC-787FE8965C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$4EC735F1-CCDB-49E5-9C48-28B17E59D229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833a4842312df09799e01a2169500c9742e137db","datavalue":{"value":{"entity-type":"item","numeric-id":4799292,"id":"Q4799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$284EF608-21E2-480A-A5A2-531E6B22B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$9060F50D-EAFD-48D6-9032-F84BEC04D90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8254f1a57bdf07f50aac86da290c24388690bc61","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$243DC2CB-A5AC-4F6D-A898-A7C13BB37AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361a7b341d619ec73fc115f42df2d9f2bb8bf849","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900532$3C6CB2BA-01B9-4797-AC6E-A96304E59A37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8987cef4b7a10177aadda354ee1810ca4f0bdda","datavalue":{"value":{"entity-type":"item","numeric-id":5034221,"id":"Q5034221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1588a02c8b8a4967c863bb1ef6b411d270d5c24","datavalue":{"value":{"amount":"+0.9807636737823486","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":"Q2900532$6175B4E4-59F5-443C-B837-A8B1D4FABA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874e584e3d8d03702e1bac3b705fb764b3b7143","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17147195f8b82dfbf2ee590477e39bf718acc528","datavalue":{"value":{"amount":"+0.840009868144989","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":"Q2900532$0508DF9B-0C14-4A27-81A8-A548888D3F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b5efbc8498ecfb41f65c79f6ef69740a4c1a7a","datavalue":{"value":{"amount":"+0.8013637661933899","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":"Q2900532$BAC77660-D117-479B-8DDE-10385035F3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d4843d7eff526f2fd382b05084a60fb13714","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9798a3743d28fbb195c98a850a288a68459ab449","datavalue":{"value":{"amount":"+0.7918041944503784","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":"Q2900532$BA89E51B-07C7-44AD-A444-6A02ABD6FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25b74dbece6f252ddc58fd72e3bc573218e5729","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079c28c678e7b6eb206c14f3a3689b2413c48453","datavalue":{"value":{"amount":"+0.7843382358551025","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":"Q2900532$4DB6BEB6-842B-4EE2-87EF-4C1C5090CC6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900532"}}}}}