{"entities":{"Q3721791":{"pageid":5751697,"ns":120,"title":"Item:Q3721791","lastrevid":50692205,"modified":"2026-01-14T20:04:14Z","type":"item","id":"Q3721791","labels":{"en":{"language":"en","value":"Top-down semantics of fair computations of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951985"}},"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":"Q3721791$96B29C27-C45A-42A3-86BF-69F0FC273849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32f9df0f6a232e6f704b5ea856c5c42e0cde75bb","datavalue":{"value":{"text":"Top-down semantics of fair computations of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721791$F974DD8B-721B-4A95-9C2B-400826B5F10D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd3e290f405e4a4c62715ee4de993c92a9f31568","datavalue":{"value":"0592.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721791$BB7F8A8E-3DCD-44F4-A188-459CA25DC5D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eb2b5604f04b9f3f2f936abd17148cc74d311ed","datavalue":{"value":"10.1016/0743-1066(85)90005-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721791$655F20EF-D433-45B2-9A1C-08D5718450A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c87db68da71f399aaeeb06bd4aae14978be1da98","datavalue":{"value":{"entity-type":"item","numeric-id":3721790,"id":"Q3721790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721791$E440CF47-842B-4307-B7B6-AF69677758B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721791$190485D5-E53F-4B31-8E03-3811DAEA09A5","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":"Q3721791$5D98F691-6704-4A64-BD0B-2717FE8D084F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3721791$5695D774-AC3F-48C1-B068-B74364FE2D6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721791$F817E7C8-C2E3-4DB9-8ABE-4F0C23D2038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721791$962B31B2-C29D-4418-8EFA-6BFBF8099507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f847489c38f4a9b8d3579c6e38730b7a135ab7a","datavalue":{"value":"3951985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721791$21992017-8941-4BB0-998E-F055DFDEDB6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721791$F25C5071-3DFE-452D-A3BD-BED34AB82A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721791$52F5AA95-F44E-481F-888C-A49615C00190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721791$42873003-DEAE-46E5-9CB5-88ADE2D1D9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c684c527af3979997ea37dcd232097f7091ef06","datavalue":{"value":"Herbrand base","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721791$0A5F93E1-6C3C-4D57-8AF1-16C0B23402F5","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":"Q3721791$AAB9AB6C-9E49-4FA4-82C7-B0F7D81D4BA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1623708f4b864b5c809ebdfbd48af152e39d5048","datavalue":{"value":"https://doi.org/10.1016/0743-1066(85)90005-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3721791$064342A7-AD21-42AF-B1AE-FFE9A46C9A9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e1958abd76e20fdc70a267837130fcf175ec93","datavalue":{"value":"W2018969105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721791$A156DE72-B612-4626-8B0B-8B8D58C10D88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b5c937d03c3ea73b612f9089bd0000e26c988e","datavalue":{"value":{"entity-type":"item","numeric-id":4727395,"id":"Q4727395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fdfdfabbdeb60ec22438f0ce3f5c2e601a195b","datavalue":{"value":{"amount":"+0.81363857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$8A120EF5-522A-448F-9FFE-9353EDA5928D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e66869a38184e272ed87290e4f2ea963c0bb01","datavalue":{"value":{"amount":"+0.80094755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$130327DD-8383-46A3-BBC5-F9AFA6E7175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42585510f374d8818326c3f472fbaa5b0baaeff8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3988268e5b7f9140bcc057748a0928b12421dc9","datavalue":{"value":{"amount":"+0.7678797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$E7402D99-2281-4802-9BEB-04353662E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e748933f1771cfd46c5ed1faba1970412ee323","datavalue":{"value":{"amount":"+0.75907326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$A6E6B1D6-8081-41DE-89A8-A0836E031A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f501283c74164fc702f364060f65f735999ea","datavalue":{"value":{"entity-type":"item","numeric-id":3129509,"id":"Q3129509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fcaaa7becb0af7652a90652ebe0ac929fc454b","datavalue":{"value":{"amount":"+0.75900185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$2821F103-D093-4A69-95BA-93AAA7C21F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800b33503bf23fce7dadc5b80544bd7e90f11f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c431df3c9955e682824c02cf2cd99a811ef97a","datavalue":{"value":{"amount":"+0.75595665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$498B5A5A-8941-4F7C-8E6A-A35CBF27CA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c341bf1d3870c82e47645f91cdc493dbde7b6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4856950,"id":"Q4856950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485583451be2de6412c83742ce1b53b0308d4b62","datavalue":{"value":{"amount":"+0.7530137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$E49B9A99-D207-4277-AB9D-B5D587F99202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8d13a94c06a51741d5af6e143f6f4122fc24aa9","datavalue":{"value":{"entity-type":"item","numeric-id":920624,"id":"Q920624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8243ba0f3c78f28d45bb086fba9a6e012b2baac","datavalue":{"value":{"amount":"+0.7517595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$DE647358-F138-4275-BB83-C83267C94A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4ab806c8c818c7ece69c0468504de6eaa49d60","datavalue":{"value":{"amount":"+0.75013345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$F2DAB538-340C-4416-9262-591814147DD0","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":"f3006980b4cf8ba42f7dc592fa0904de56cda7e8","datavalue":{"value":{"amount":"+0.7498131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3721791$A46C1C3B-2E74-419F-95C3-9BA62476508A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721791"}}}}}