{"entities":{"Q1295428":{"pageid":1306178,"ns":120,"title":"Item:Q1295428","lastrevid":68393439,"modified":"2026-04-12T23:24:51Z","type":"item","id":"Q1295428","labels":{"en":{"language":"en","value":"Logic programs, well-orderings, and forward chaining"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308103"}},"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":"Q1295428$6794C256-ED07-48F0-96CE-3E80E2538960","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67a095d2ee04c3f97dbc3b7f840a6afdb6edef75","datavalue":{"value":{"text":"Logic programs, well-orderings, and forward chaining","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295428$E02D610D-C027-4E66-9A06-729B0566496C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"debd0ea9e967be86a274004c874a4dedc53f537d","datavalue":{"value":"0927.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295428$0442268C-561D-4C70-9BE0-0FD998EE7D45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20e28d960820dc08972127286fd26963a68b1605","datavalue":{"value":"10.1016/S0168-0072(98)00041-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295428$DC777103-951D-4302-8A6C-ED0BF43A87A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$D410AAD4-196C-4FD4-8181-2FB372D89A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$90DC0D2E-DDE4-4106-AA92-F5D3AEE3C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$7F5399D3-1473-43A9-8FA3-787475CDDD82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$3647689E-1807-46A0-87A0-D8C9610321D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b50c483751cd86cb210b1ff9c02447be3fef6e","datavalue":{"value":{"time":"+1999-06-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":"Q1295428$8BB72349-CE37-4620-8D96-832569909B07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295428$D8B0BB10-DBFE-4D06-A23F-B3CC3DB5FEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295428$1CC35755-0639-4A05-AD1A-FE294DB00AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295428$66057599-8C67-4156-86B7-08C487B45069","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43ea6f47d1fba4962af9c2ced6e4bc542010be7d","datavalue":{"value":"1308103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295428$4E17D1B3-9115-4BD7-A962-221A95B0656A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7c3f1d8d0f6296063efbaccf967fb1b9dee67a","datavalue":{"value":"propositional logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295428$9DC7F320-B5DB-4AB1-A4DD-1CC22EAB6264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be975cbcd4ec25a59ad0ee8008bd0b1c58969e6a","datavalue":{"value":"stable submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295428$1AADA0C5-67B1-4EA4-B831-519D285B6DF3","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":"Q1295428$DC676453-DA84-4564-B4E5-430FA11F67FB","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":"Q1295428$F92A3B71-4E5C-4F65-8B8E-531FF4C093F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$73395023-FCA4-478C-BD21-3159E9FB50F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$C3E7D50C-2189-4F0E-A594-77C0472E4A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$A7FF6549-04B5-443E-982B-5E5CD9BA2036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$C8C5BAA1-2C75-416E-BF14-9C3D23688E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b4b9118fa841f26a2894daf9ed527524538a57","datavalue":{"value":{"entity-type":"item","numeric-id":4852889,"id":"Q4852889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$3F48C70B-DCC1-4AA9-BF7A-C4E0630F9E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$B0AB1701-8B95-487E-A91B-B1BDCE24DD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$5F9C8F83-05FE-4CA9-841A-627F5A24796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$07FBF60E-24F5-44A8-A48F-FF89F9731145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$7B891BAA-B10B-4B4D-87C8-CCA50C6913C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff329274d40bcc90d45b9589ebb6dd8805d9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$81B844BE-D9BE-4641-983F-EDE72EA335EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23848f5cc002dab08c9e246881db71ecf933433","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$106AFCA8-DC7F-4A38-82F8-6D15676FD4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f40f7943146117c8e05bba7b8a3ff87d13179d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$57E76361-3AE1-4C33-83FF-FB1D57AB94FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29be5df92e6c687222e69930ab554a7d3163b1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1326782,"id":"Q1326782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$C4A354D4-CDC6-43CE-836A-39245855213D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$F0EE7BF9-5AD5-4C27-B8A1-6F4951BD9768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$08ABED3A-83E6-4023-BE23-453B20BF0F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$3BE93907-F3DF-433B-B34E-210B9DDB26DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$1D70085C-57B2-4673-BABA-2FCEBC06DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$503ED9B3-1F55-42F9-8189-C26030113F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab3bfd484ba524e34216a7dac1d185009ff5c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5750427,"id":"Q5750427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$B295F264-FC76-48AF-AADA-90836A30CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$42B0F41F-CEB0-4139-A2BB-14C487208234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$39DC87EF-AF96-4E9C-A9D9-F3B7B613D3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295428$3367ACF4-577D-44EA-8428-FD0399C41202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc0dfb5afaca4727876f77622a5f55cd8563e2","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be01f81e7f068b16c32c8169016f4c6b59d3128a","datavalue":{"value":{"amount":"+0.8006476163864136","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":"Q1295428$73B5B4A1-7E1E-43CC-AD79-90BD77B94A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf03a39e99a102d410f8f6f9c6fa597729c3012","datavalue":{"value":{"amount":"+0.8000585436820984","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":"Q1295428$4B96DD78-5C62-4A10-9936-7E7B9A5839B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754df203b34310fd16c1164891c2c90432acad8d","datavalue":{"value":{"entity-type":"item","numeric-id":1924748,"id":"Q1924748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8141f041910681f03c2ae10f84699c3364cf614","datavalue":{"value":{"amount":"+0.7916850447654724","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":"Q1295428$E646F358-23E7-42B8-9633-EABE30CF2313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b985d2626f022a77c9dfe089d0d4c2553ab09a","datavalue":{"value":{"entity-type":"item","numeric-id":4375821,"id":"Q4375821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4d5e1847c20405e96ea93dc6e4a85a35740494","datavalue":{"value":{"amount":"+0.7899524569511414","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":"Q1295428$FA5E32BE-8EF5-4F62-9233-5296F35A55E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3d505f96ed8ee77ec771f6339d22613dc2f73d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eee81c99898d017a26200a93201f435acf30de7","datavalue":{"value":{"amount":"+0.7892545461654663","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":"Q1295428$6EF8FFA6-5C18-4BAB-9E6E-AFC0612D340A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programs, well-orderings, and forward chaining","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_programs,_well-orderings,_and_forward_chaining"}}}}}