{"entities":{"Q1117705":{"pageid":1128454,"ns":120,"title":"Item:Q1117705","lastrevid":49258873,"modified":"2026-01-06T20:58:42Z","type":"item","id":"Q1117705","labels":{"en":{"language":"en","value":"Pseudo-Boolean valued Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092825"}},"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":"Q1117705$59913559-2556-44EB-9A19-18E77E97CB5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4145b8721ad093ff4f9680774896d546e6ecd5b7","datavalue":{"value":{"text":"Pseudo-Boolean valued Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1117705$666BEA61-C377-45E0-9FC6-7B8F0CEBC9E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dddecff9ac3ed6acf3bf93405c720a486c017b8","datavalue":{"value":"0667.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117705$6FFF4C74-337F-46F7-B8DE-F0CC6D4B4569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8de72637539ec679312a5110c42e7e63824e3c7","datavalue":{"value":"10.1007/BF00370283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117705$37AD1B75-75AF-45D7-B045-F1ECE3198D32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117705$A54DD2FE-D105-4084-BFF0-691372C94061","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117705$B4A8CE87-18E1-4030-A35A-B4CF4AA680A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1117705$E46219EA-9205-4AEF-B1FE-E790B27BBF9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"542b52ee9df0249e0fc111b5846c7695a45f7327","datavalue":{"value":"A generalization of conventional Horn clause logic programming is proposed in which the space of truth values is a pseudo-Boolean or Heyting algebra, whose members may be thought of as evidences for propositions. A minimal model and an operational semantics is presented, and their equivalence is proved, thus generalizing the classic work of Van Emden and Kowalski.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$0AA4F60D-9427-494C-B3A2-94601EADC06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117705$7D394F79-457B-4819-B28A-0B76E4E7B59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117705$C9F6BC5A-AFBD-46C7-A5A6-7FF74BA2D35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117705$47E8EF0A-78C3-41DB-8EFD-8CF770987C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d28f3f7102e87b8dfc755510ca89034852a855d1","datavalue":{"value":"4092825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1117705$DCB2B293-44CB-4DE9-B854-EA58EB4AF8BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fc13d85c90406af05dbef85bf312281300c830","datavalue":{"value":"pseudo-Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$6FFE279D-10B1-4E12-8FEF-CCAB2793B168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$926D1E65-5261-4B94-AF32-493AEBE5D915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379f64a67ad6e4ee32d20996d84934a8441c7ff6","datavalue":{"value":"Horn clause logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$4A220194-32E6-4450-B4FC-B4426A9EED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828ee50170297e582fde968cd0372d3921589fb8","datavalue":{"value":"pseudo- Boolean or Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$2B79AF06-C6EF-481E-B597-7BCC5879DCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$FD093178-45F0-4E21-9349-96DEC60815AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1117705$2053D0CF-C348-45C2-B192-71FC6BBED7CB","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":"Q1117705$126B03FB-65CD-4F34-B9B2-3A7DB85E9626","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f4f5488eb3ed964753433b407f2a80c95553d9","datavalue":{"value":{"entity-type":"item","numeric-id":4720780,"id":"Q4720780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117705$4B60269E-6F20-439E-B56C-FE4E917817B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1117705$AE60FDDC-984F-493D-9063-88F8E26A26E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653e895f3899c4df73fe7a8591e317d9115730be","datavalue":{"value":{"entity-type":"item","numeric-id":4836225,"id":"Q4836225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441ec3bafaf0b05d4745fea993e8bae8efb9caa6","datavalue":{"value":{"amount":"+0.8147095441818237","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":"Q1117705$4E902C9E-08D4-4CC1-86F6-66B0307A11D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e29c8b0ed7758f646542ada42e9696456e7142","datavalue":{"value":{"entity-type":"item","numeric-id":4211444,"id":"Q4211444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3d2f17f57c0e4e47e3f800eeaffee92fb05dc7","datavalue":{"value":{"amount":"+0.7740189433097839","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":"Q1117705$288699FC-E9BC-46B8-9E15-B8C5609AE38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0a28387918989a7a4fec9c5dbc834095dd29be","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3d2f17f57c0e4e47e3f800eeaffee92fb05dc7","datavalue":{"value":{"amount":"+0.7740189433097839","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":"Q1117705$E9F9FB44-D00A-4AEA-8193-537C432D0E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e55bc8ef6235ee279ddd3b98868afc3e6f8ce1b","datavalue":{"value":{"entity-type":"item","numeric-id":3348392,"id":"Q3348392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4621ed5b6e0671189a8d61ad160bb21049ad28fd","datavalue":{"value":{"amount":"+0.7719858288764954","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":"Q1117705$F6DFEAC9-AA10-4ECE-9864-D7FDE891E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9c3e5e1e294ccf5dab1795824a6f1d694b8723","datavalue":{"value":{"entity-type":"item","numeric-id":1388210,"id":"Q1388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda4f0d7341b5143e5e13fd87db0ff03e22d1607","datavalue":{"value":{"amount":"+0.7718973159790039","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":"Q1117705$BA187B35-FCF6-4B11-B678-642203576106","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1117705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1117705"}}}}}