{"entities":{"Q1182168":{"pageid":1192917,"ns":120,"title":"Item:Q1182168","lastrevid":67089711,"modified":"2026-04-12T15:07:19Z","type":"item","id":"Q1182168","labels":{"en":{"language":"en","value":"Three-valued nonmonotonic formalisms and semantics of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 30537"}},"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":"Q1182168$095455F9-9671-4C76-A999-FD6CF4287175","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b9c5459b975fed82fd77e28ef2354036adad4e","datavalue":{"value":{"text":"Three-valued nonmonotonic formalisms and semantics of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182168$CDF5418E-D9E2-46F7-A400-B6BACA2F862E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79eceb18579ffe2b1ee3af6988ca95e298202f13","datavalue":{"value":"0741.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182168$8911A36A-4F4F-4C8D-89E2-5C9B7A862493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df90f41938863e57c117f5fa0b571d6a25b9e73a","datavalue":{"value":"10.1016/0004-3702(91)90013-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182168$B61B96C9-CCE3-4656-A6CB-F83D14F58777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$967953C7-E6C2-4D49-84CB-12881D272793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$22219AB7-3111-4407-9280-6C8B558AFC98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182168$F27F6E45-A8E0-412F-999A-7808579B5C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182168$3959FFF7-8C49-432B-9791-0DA6D1DB4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182168$F01D2A8D-8249-45DD-B58F-98F1B68F4B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182168$48B6BA93-A3C4-46F2-A1C6-97271929C039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baddefdad1de862539184e02cc3d6ec20363054d","datavalue":{"value":"30537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182168$AB769E5B-7E87-49E8-952F-C428AD8F5E70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$0C09EBCA-6F36-4EBB-AD17-BF2FF5916239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c70f6b28b118a4e43f4bf829b03cc931d24318a5","datavalue":{"value":"three-valued extensions of nonmonotonic formalisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$64F57380-17A0-412E-9274-340BAAA814D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6583433f082f642ed7c454f35b32ac5266b4fa","datavalue":{"value":"well-founded semantics of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$BDE2FB90-553A-4482-BEC6-AAC23E046E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$3ACA495A-F25A-4DE2-A42B-1AF7F610B162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$74596B82-F387-4EF8-8A2B-B7DC023D9734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$9AC3F990-3DD0-4D5C-AE3F-D80EC73A0154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c21a70463af21171b5268a4d1dc51b15d19d4ca","datavalue":{"value":"default theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182168$73988F94-94BD-47CC-8CA0-A130EDD3EE13","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":"Q1182168$6C024538-6C2D-4139-9000-72D1BC658995","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b70255913a491d6bba0eb24319a868d041de84","datavalue":{"value":{"entity-type":"item","numeric-id":1173955,"id":"Q1173955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$D621FF30-981A-4978-B5E1-C199958A8BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$B6AA16A6-3EBC-4905-AA2C-B9F8A3F63538","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":"Q1182168$06B0D91C-5F46-4AAC-9B19-E9BC6006454B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a560d36d73ece2a0e5454e9551afdd4850d359b","datavalue":{"value":{"entity-type":"item","numeric-id":3830545,"id":"Q3830545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$05950DF7-22C6-4305-84AB-5E6DDBE90708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$BAAB9913-FB26-467A-95A5-102261542C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$88B72DFC-6DDE-45E2-87EB-91159D129682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$931DB6A1-05EC-4DC3-A5CC-E5F2730B9C0B","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":"Q1182168$0A7C173B-DD02-4C27-9B1C-873162EDA9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7061ded0f616d34cf4897b9a8127afc728c7ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1073786,"id":"Q1073786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$131D6452-45C6-4365-A8D5-DE726735593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$C623E871-829D-43C7-A3F5-B2948DB3AC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625ffcd9a46147e7ce4705d224fd49c0f194c828","datavalue":{"value":{"entity-type":"item","numeric-id":3486550,"id":"Q3486550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$2778D8F9-0CF3-40A4-8FF5-A3E4E1D94A2E","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":"Q1182168$C3004104-EA92-4788-A7CC-50A70C08FB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cc9a8327d453984ec7032053ea2656c70a83e2","datavalue":{"value":{"entity-type":"item","numeric-id":3486549,"id":"Q3486549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$CC41C91A-72C8-457D-8FAC-95C037AB68ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$641D53C3-8806-4C50-A96A-B3079FE3DDFF","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":"Q1182168$D455FE30-A379-4271-9248-0832D470F12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0425c0d083fcab621e3600d7dcfaeea3f70a92e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484349,"id":"Q3484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$02FD3215-2517-4514-9194-57264F3C01FE","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":"Q1182168$85DEAB94-4563-4589-9629-9999A8888B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c479e2ae867bceab76622ab7302b9e1278389dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4692852,"id":"Q4692852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$7A7DA18C-72CD-48EB-B5EB-28AE8A3F4B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$47D18A07-14BF-47B6-A589-7B8BF3DF6626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$2BE4E30B-0F68-4ED2-9A21-58D38F373E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc10ad53a8f0fa65d1024afb65659bb26c451842","datavalue":{"value":{"entity-type":"item","numeric-id":4537450,"id":"Q4537450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$9F463FEA-C2EF-468E-A451-AC9EA3E3DF25","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":"Q1182168$8F316F6F-3D70-460D-B347-3986539862AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5038335bd82ded939aa4f8e08075261208ddb58d","datavalue":{"value":{"entity-type":"item","numeric-id":4537449,"id":"Q4537449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$490F7572-4222-4B8F-9DBB-CE8AB7E4B319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4398c26783e439e6e945ebf6ab55ce9cf687034f","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182168$2AB7F2DD-08DA-41F0-B90B-A5E10A352354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1dcb6c61c8a53f8466be386f41e3d9c9209fa3","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d9ff6c4881ab7685ae820ef3df06ef4937b855","datavalue":{"value":{"amount":"+0.8729858994483948","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":"Q1182168$61F83E9C-51CB-456E-8B95-080AAAE9AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73d5e16a5cd14a2990aaced6179a22b9be657be","datavalue":{"value":{"entity-type":"item","numeric-id":5398064,"id":"Q5398064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be21b97b93f6b4a4289d9b35e39ad11ec9d3b94b","datavalue":{"value":{"amount":"+0.8233228921890259","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":"Q1182168$BB6A25CA-846D-4C4B-BF0F-A9C3C5B8FE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7b4090653fec1b28c41feeff6cdc95f746d723","datavalue":{"value":{"entity-type":"item","numeric-id":4287496,"id":"Q4287496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecbdeae18793ab432b652c700d2669ce781a131","datavalue":{"value":{"amount":"+0.8221926093101501","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":"Q1182168$0A77473C-7E06-429B-B8A9-7B484DC3C48A","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":"115a9a81db28b1cfcb58d8e211c9aa91c7952430","datavalue":{"value":{"amount":"+0.8111617565155029","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":"Q1182168$ECB0F981-731B-4D27-BB49-F0750A70A004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three-valued nonmonotonic formalisms and semantics of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three-valued_nonmonotonic_formalisms_and_semantics_of_logic_programs"}}}}}