{"entities":{"Q3125899":{"pageid":3136615,"ns":120,"title":"Item:Q3125899","lastrevid":46721352,"modified":"2025-12-25T11:30:39Z","type":"item","id":"Q3125899","labels":{"en":{"language":"en","value":"On the correctness of unfold/fold transformation of normal and extended logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 993577"}},"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":"Q3125899$ED01FAC2-D4B6-442D-B59A-601DE63951C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8194890b6f1644be6d6b589a15ca851a8eb7cd0","datavalue":{"value":{"text":"On the correctness of unfold/fold transformation of normal and extended logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3125899$F8A36E62-FC9D-4996-B124-A54F13D9B239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cd9c7b104209aaa8dfa627cf8eb059bdb2f6617","datavalue":{"value":"0866.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125899$13079A94-C0A2-4E69-9548-F1EAB5730069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"025c8622beebdc365bc3a3befa1b633d0cf1fdca","datavalue":{"value":"10.1016/0743-1066(94)00104-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125899$EEAC3464-8150-4477-9E2F-B6A25B2F3F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e7babc33bdfb2d05f3a9f08cc0c8b417a47a42","datavalue":{"value":{"entity-type":"item","numeric-id":167056,"id":"Q167056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125899$4FE7FC32-505C-4C1F-BF05-980CAE39D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"151a471a2fe214d10b1ee01e83285315730f9ee5","datavalue":{"value":{"entity-type":"item","numeric-id":235879,"id":"Q235879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125899$048D1306-F65A-44A7-9012-8DA227ABBDE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125899$2941383E-EC4A-4038-A4E5-8604C8337D7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7f698c37f69131ca3e74780b74cfde879d75395","datavalue":{"value":{"time":"+1997-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3125899$4C1E862B-1AC1-4842-872B-118A88B086AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125899$D774C7D8-D12C-4D23-ADE5-9979F7D11DB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"777f0f6d0ccd145e5aa190ef764f92b190936dda","datavalue":{"value":"993577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125899$002BF8F1-824D-403F-AA83-CFFDD950A2A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3125899$9D26E653-FFCC-44BF-85CE-7C02E017BDC5","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":"Q3125899$C3DDB3EB-E563-482C-926B-5212E5742E1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adc3b5273ead5fc5058d28df570a66a419bc2d51","datavalue":{"value":"https://doi.org/10.1016/0743-1066(94)00104-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q3125899$9FF37874-8360-461C-9B25-576E1BAAA21C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de8aa0b0fd59da00a2bc6fbf1d56851402588ebd","datavalue":{"value":"W2013815977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125899$99704F34-3A1F-42ED-BCF9-C767A030947B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3da6a37d3581b6e1e63394cd02fa6779cb08a3","datavalue":{"value":{"entity-type":"item","numeric-id":5286915,"id":"Q5286915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a6724ad5401fa2df084a578a5f3689c455b58f","datavalue":{"value":{"amount":"+0.8635549545288086","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":"Q3125899$9A013CE6-1552-479E-97DF-84863ADD6A24","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":"1e8b01d7b2678d8a243695a149dc86f9908faee9","datavalue":{"value":{"amount":"+0.8631123304367065","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":"Q3125899$5842C13A-EA3E-4AEE-B892-C78FD5D3E3A6","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":"73d15ce302c5509e8a10aa21ac5c1b3e7ddd963c","datavalue":{"value":{"amount":"+0.8205522298812866","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":"Q3125899$AEA53F8F-8CF9-4C7C-BC5E-789000DA0EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63910f2f446b7fa086e16d5930d4930a5f04c87d","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d17b209f1716fdfca0e132963ea13204042c7d9","datavalue":{"value":{"amount":"+0.8187600374221802","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":"Q3125899$F90414E8-35B8-4658-AD8B-6DED55648513","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3125899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3125899"}}}}}