{"entities":{"Q287026":{"pageid":288793,"ns":120,"title":"Item:Q287026","lastrevid":60762099,"modified":"2026-04-10T18:58:21Z","type":"item","id":"Q287026","labels":{"en":{"language":"en","value":"Unfold/fold transformations for disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585395"}},"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":"Q287026$EF81E2AC-2A32-49AB-9A51-1B3BF79CB064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b69cfaa7cd63718f1becda3ad0e56b848a97586a","datavalue":{"value":{"text":"Unfold/fold transformations for disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287026$90F45A3D-EC91-4B57-A5C9-3EC42FDE907F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be45e94a1e5bb5a11b1c04b3d4dcd1a937a46420","datavalue":{"value":"1336.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287026$3934D2AA-F3B9-4669-83E2-73938EE3A1FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a194943387f15cddc26a095fedf4d4ad241f5bec","datavalue":{"value":"10.1016/S0020-0190(97)00038-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287026$90074566-3377-4301-A51B-C4D2D3B47F5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc344ffb9f54d04a2fdd2418198db129910e72b1","datavalue":{"value":{"entity-type":"item","numeric-id":169898,"id":"Q169898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$BC6BFE69-BA68-47FB-B730-B93F11186159","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$9931A6C9-9572-4187-BC15-97B20CEF9FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287026$A0D0C386-7B7B-4311-8F47-D575C5669B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287026$7A1B20A4-AC5E-45A8-BEBD-761F7560EEB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecc29c8b09e5c16f4ca3f4e8994454461a6095cf","datavalue":{"value":"6585395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287026$7F7FCFD5-1F35-436E-A7A9-49E9FE27D65B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q287026$C88BA3E2-9A06-4C37-A0A9-AD89ED7679CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q287026$7A85AB4E-702A-45A2-B7AE-FE47784A7AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75881d19882288a2c892b8349c9d403064ec7d4","datavalue":{"value":"partial deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q287026$BA52D954-249A-4488-BF01-732A0F704F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0455910bd255bbb8b513238c1f3706fe3d365ad7","datavalue":{"value":"disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q287026$F0C1D7ED-E52A-40C1-9A83-186246DC99B3","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":"Q287026$114F4772-16D9-4EFD-802A-C4DDB282F4FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aca387e341fbb9b8bdabd6b9c61c6e540a4bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$663BF90D-8A02-474D-BE70-FCE2687F30D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888db17524ca1dbdc34d3f597963f4ef9d0662e4","datavalue":{"value":{"entity-type":"item","numeric-id":5101443,"id":"Q5101443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$DFBE7484-BF82-4427-A242-123AA964E971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b8154126bb7dcff376a3fb5230eefc60388d66","datavalue":{"value":{"entity-type":"item","numeric-id":5652222,"id":"Q5652222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$65DECDAF-F388-4C26-9303-973BC2C3EF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$7CE027A7-DE18-45F6-A908-ABF9527B54BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc421beaf448c0aac0777c13814d1b2fe09c3d56","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$3E2DE689-2564-428C-BB54-389E3B81685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$7AE96797-3624-4BE4-A4B9-7393B4273952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$37CD8F0A-CDE9-46EE-978A-D60DAE37174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18205f0709736e6bacfff5e60b47c723ccab31cf","datavalue":{"value":{"entity-type":"item","numeric-id":4391449,"id":"Q4391449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$34087BD9-DF52-40C1-B160-4CFFC2B26FFD","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":"Q287026$0FAA1F05-EDBD-4E67-A8D1-1E405DEA612D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858c055a7789a65c0f5f58e60f86f450d09283c3","datavalue":{"value":{"entity-type":"item","numeric-id":5286919,"id":"Q5286919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$BB347EFE-2F0C-49CE-A20F-FF595C070212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0978a96d0c7eac5a04d9f1e9c0fbeb4fe2b622a4","datavalue":{"value":{"entity-type":"item","numeric-id":5286915,"id":"Q5286915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287026$817ED5A0-A45B-46BB-8BAD-E57064800602","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d130c507e506bd48a65bcf95aae5381169bf133","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(97)00038-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q287026$1EA6EC5E-E055-45F8-A657-FF1D116E08C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77604c32aecd678a2035c33385005f3312a7523d","datavalue":{"value":"W2060632369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287026$E24D24E6-01CD-402A-8C21-3AD03647FC4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unfold/fold transformations for disjunctive logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unfold/fold_transformations_for_disjunctive_logic_programs"}}}}}