{"entities":{"Q4835514":{"pageid":6865094,"ns":120,"title":"Item:Q4835514","lastrevid":47322661,"modified":"2026-01-01T09:05:13Z","type":"item","id":"Q4835514","labels":{"en":{"language":"en","value":"Belief, provability, and logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761094"}},"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":"Q4835514$E780229D-1C58-4D86-930B-BBE4B12BF7BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a44d2b245ab936350660d9a602e87de1cf31438","datavalue":{"value":{"text":"Belief, provability, and logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4835514$FC6907DE-2D9D-4F81-B4A2-383F393870B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a26f189e4ff70f1d6a0330c7a9fb93a3549b877d","datavalue":{"value":"0820.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$81052CFD-BAD1-4E5A-887C-06ACEEB3D3C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aae4d6aa8657215c9c7e7c64c2a1a127a88ddbb6","datavalue":{"value":"10.1080/11663081.1995.10510842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$04D8B0DC-A243-405E-8625-B79ECDD4FCD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db80ec4965b40d9874ffef2a755df757b1d98c70","datavalue":{"value":{"entity-type":"item","numeric-id":646500,"id":"Q646500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$98C29B4B-FD12-4969-9483-21289CF17387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$0DC7DEA8-3762-4FA0-99D7-9F7019B89422","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$6425A16D-F136-441B-9A8B-707AE99BCDB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a1529ffb26db2b22f3624b5eae79e54a7bbf813","datavalue":{"value":{"time":"+1995-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4835514$4CB54836-CE08-4716-8438-CB81DCD63024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$57DE699E-B2B4-441A-902C-90C679BCCBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$D943BFFE-407A-463C-8CC2-58974CB4F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$1F68466C-AABD-474D-84AC-67A1A15613B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$092698F7-ABDC-46C7-A05C-C62CA2330E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$74B58C3F-C49D-4798-86C2-EF5B02481DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$6F8CD20D-531E-4801-BD93-AABDEB91DE00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abfdd38355deca19aa5866c2997310c590632349","datavalue":{"value":"761094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$7C90D410-3175-4608-8128-CFC14D57F130","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$566410FD-9337-4479-AB3A-42DA4DCF43DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$EA61D98A-62AC-462B-BA09-1BC98AF712FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$4AE7CFAE-925D-4A72-863E-CFFBB1D5D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f546723443d5b126386a19433554e73cd6ad7a","datavalue":{"value":"belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$237B9882-A77D-4EDD-930D-240251C2D244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af715271aca65a819201291f69c92113bd502708","datavalue":{"value":"semantics for extended logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$AA151BCA-4720-420B-BE86-7B882CDA7646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$7805127D-EAB7-417F-8D41-8F958AF45937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5eaf902aa7bfdb4995ef75334cdd3996a74860c","datavalue":{"value":"autoepistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835514$1E53839A-4ED3-4045-9EDE-54C6C4DE8A22","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":"Q4835514$A641EED0-479B-4D88-A9D1-B2A636FD50F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5910f9e144d68dbb201e13819168b95d207d0ebd","datavalue":{"value":"https://doi.org/10.1080/11663081.1995.10510842","type":"string"},"datatype":"url"},"type":"statement","id":"Q4835514$9485F015-AE65-4363-8A8B-F19EC47AFBE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d50ad69d85a5096a8fc8c37f26417954a7960240","datavalue":{"value":"W2082240835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835514$012C02B6-988C-43E2-8C84-1229D90E34C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5db98d50e7848e56e2ac32e3f38b7546294ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":4332412,"id":"Q4332412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$AAB513AC-7E09-4B5B-9527-6F7D3E607F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$A923F48D-B357-441F-9620-760897B00C42","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":"Q4835514$F51E9869-9F08-4FD7-AC7F-37077900DBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$65C1013C-9867-4382-A039-E6FBA0AF5524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4e9ae009d5790d07b8fb9d4b94d739d61ef352","datavalue":{"value":{"entity-type":"item","numeric-id":1342215,"id":"Q1342215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$FB04BAF3-1ADC-466C-A594-694780127BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$D0F73876-0F68-4E94-A676-5CDAF5F410CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$E5034BB5-D694-43DD-B4AA-A642B435D560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af77981a43abcda1d261a05984537b43f03bc74d","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835514$5001FDC7-2117-4D31-B114-081D8B0556CB","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":"Q4835514$E732F49C-3734-4379-BA4A-BF3E27D8C722","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3044358064642f9e5557741bc4f29fa37c8b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537432,"id":"Q4537432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e3cd31e0190efc65f4dea205357121da39ba2a","datavalue":{"value":{"amount":"+0.9684295654296876","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":"Q4835514$7E9743F3-CE0F-42F1-807D-4B2D7352F0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4423ed1cc7565237d533e21939fe084d5b616b5","datavalue":{"value":{"entity-type":"item","numeric-id":918192,"id":"Q918192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25e1446212c553b9de2933b35c4d75d26b42451","datavalue":{"value":{"amount":"+0.8328973650932312","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":"Q4835514$3D3F550B-F443-4B1E-A0C7-7A672BF8B28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4560c23182e172a6ec0ceac845c855917d204d","datavalue":{"value":{"entity-type":"item","numeric-id":5930852,"id":"Q5930852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8812f4da7ee5f6c50c7a58f18ceace0bb252c6","datavalue":{"value":{"amount":"+0.7964265942573547","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":"Q4835514$B85F8434-2A20-4053-9140-8778A0A95D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace9b257018c4438401380f624340afc6b2abfac","datavalue":{"value":{"entity-type":"item","numeric-id":3159292,"id":"Q3159292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050b0aecdcfae1a2083ffaaff90801c9a3cf04a0","datavalue":{"value":{"amount":"+0.7962167859077454","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":"Q4835514$763BADAA-5DC4-420A-995A-2BCCED8B82EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83483bdd144755e1614f43414f458dde66426561","datavalue":{"value":{"entity-type":"item","numeric-id":2276949,"id":"Q2276949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b397ef0da4ed51f2a988144c368d99bb1a2bb6aa","datavalue":{"value":{"amount":"+0.7900135517120361","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":"Q4835514$0DD27F06-2170-458B-9F91-40FD9DD01655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4835514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4835514"}}}}}