{"entities":{"Q5034221":{"pageid":7063798,"ns":120,"title":"Item:Q5034221","lastrevid":54234431,"modified":"2026-01-26T12:44:55Z","type":"item","id":"Q5034221","labels":{"en":{"language":"en","value":"Applying visible strong equivalence in answer-set program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480987"}},"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":"Q5034221$13B22F1E-D4A7-4397-86F2-6DB7842E7D98","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":"Q5034221$6F0CDD9B-B6F4-4EE7-87F2-06550247CE15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a109c132d2c4b672c18421d01ca32ff87ef1bc9e","datavalue":{"value":"1502.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034221$C0374913-917B-4E2B-AF4C-D83D8B6A23B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e2af08a5ec4f22479c26d5ce81588916c605c8e","datavalue":{"value":"10.1145/3412854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034221$B4E3203A-1FE5-40E5-9944-7B7B55A913D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c21df4a804837dd34c69f3843234e6888a98094","datavalue":{"value":{"entity-type":"item","numeric-id":2326725,"id":"Q2326725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034221$DBB28E0A-E030-4DD5-BE4E-B752A6A4857C","rank":"normal"},{"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":"Q5034221$8FE81E0C-7903-4AE0-A8A2-F4E6E10CD7F1","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":"Q5034221$B1550310-E040-4256-A074-4B8C44045647","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034221$6D426BFB-B7B7-4C89-BDC0-CE268B1D0E99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034221$28BED41A-19E6-4FA2-A202-4F4F13658D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034221$3C16F495-B2FF-4985-9470-6852AE652225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034221$15D69BA2-171E-46B1-ACCC-7B1966719DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9b49f125117051f7cd4ba249893b7364689b281","datavalue":{"value":"7480987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034221$1232BB3D-2E67-469B-B782-7D4922C77584","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034221$10A54CFE-B782-4C8E-A45B-0DF6D71A29D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3752f8c77c9a5efd879a52672edd39da37105356","datavalue":{"value":"auxiliary atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034221$4ED74B7E-B035-4D58-B0BC-27B798AE9482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17925a7b4f1e6bfceed4c97741706f682a91585","datavalue":{"value":"hidden atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034221$ABD6FE07-11C8-4807-B903-62FF81B6D95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034221$5B5D3A99-282B-4FA9-BD2D-E8DC0B76BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034221$3EA9B83C-8005-4B5C-81C6-AEA1B6C1E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034221$76B65F51-AC68-4FF1-BB64-E40EBD2E80E5","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":"Q5034221$38093768-A5DA-4C0A-9726-09A746262995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86c3fa73d4269be546626c4af15a54c3cb7c5072","datavalue":{"value":"https://doi.org/10.1145/3412854","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034221$B2E39B75-0EF1-4F6A-B940-8F6434D23E5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d580bff27009027d47ef5793ff02f66339488fe","datavalue":{"value":"W1539274708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034221$E5711B43-1A66-4E03-B5A1-834E94B31286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b23eb7c6ab1579cd9cf7c9c6f46bbb36cc9231f","datavalue":{"value":{"entity-type":"item","numeric-id":2900532,"id":"Q2900532"},"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":"Q5034221$59159F08-0391-4AA9-BD32-8696F07DF3A0","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":"2f87d49ca65a41d30e0a500a1a402c0222f53e2d","datavalue":{"value":{"amount":"+0.8390834331512451","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":"Q5034221$C4311879-AE9C-44EC-B0C4-F0CDB118A373","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":"ff2ffb84d7ba9bb448ac96a3158cf26e317f6855","datavalue":{"value":{"amount":"+0.8037918210029602","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":"Q5034221$3647C6F1-A206-486B-8BE1-38C949148E1D","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":"7a4dec930b7ed04d866ab2cb7774f84941d48e75","datavalue":{"value":{"amount":"+0.7928304672241211","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":"Q5034221$8C0C23EF-E047-41C3-93B6-71FCEDDB00ED","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":"82bd7a1ecde67bd4c64d63c5a4c90fea8c22717a","datavalue":{"value":{"amount":"+0.7872124314308167","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":"Q5034221$CDD7DA2D-5BF7-4C8A-884C-D209C1518B0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5034221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5034221"}}}}}