{"entities":{"Q4610313":{"pageid":6639896,"ns":120,"title":"Item:Q4610313","lastrevid":53321693,"modified":"2026-01-24T17:46:12Z","type":"item","id":"Q4610313","labels":{"en":{"language":"en","value":"Tableaux for logic programming with strong negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002266"}},"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":"Q4610313$ABB2FC64-0DEF-474F-96B8-5B0A1DEFFCE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e223c2e72db67d4de195a9fe617b98ea7e190c","datavalue":{"value":{"text":"Tableaux for logic programming with strong negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610313$09EFDC88-0E79-4546-B1B5-A736BBEFAB91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a107a1e1e43ba16ef77238e129b699475e28af","datavalue":{"value":"1412.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610313$8444C733-EC75-4A92-A83D-3ABDA07F90B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bfdbc4a2ad3e39f1d3ddf9a7cce10575529b4c","datavalue":{"value":{"entity-type":"item","numeric-id":516416,"id":"Q516416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$8124C2B7-70E9-476E-9D82-2939C26D20B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$348764B5-EC2C-4EF2-8B3A-B2A6E42F486C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610313$75B8C6B1-095B-470B-9802-EF8206027D8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610313$42C254EC-76F8-4320-B829-F7EDF42E574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610313$2E55814D-E884-4590-83A1-19AF11A6DE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610313$76F394EC-1D77-4F42-94CC-6AE7A4749B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297e5f42d2795b71e356fc6e2872f872372fd9db","datavalue":{"value":"7002266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610313$B34249D0-C6D8-4230-8091-A6B35E843E2E","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":"Q4610313$C684DC09-A42C-49A3-AF36-8EC4190D56F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbdee030d2dca011e6b3ff93378b67fffa79b1d4","datavalue":{"value":{"entity-type":"item","numeric-id":3487317,"id":"Q3487317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$3B01BB21-0263-4C00-BE24-A8A70E7AFA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05168d749bf94ec48d7eb485934be78f95cd145","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$D6666BCC-5530-4D6B-86A7-9A28C8A08F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738655c5e04ddb97a8badad3792e2c75c72bed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$1F520F48-51E0-4E9B-B193-3132B1BFF105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bfc52f5ae70d942cbe6df2973e7dada622cecaf","datavalue":{"value":{"entity-type":"item","numeric-id":584239,"id":"Q584239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$E43FF7C2-EDFB-47C6-9147-A90F78C2DF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9069bed3a8bbd3c69020c9e2593e16e6a500eab0","datavalue":{"value":{"entity-type":"item","numeric-id":1914375,"id":"Q1914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$B75C9513-75F4-4E67-8A8F-9C99E208CC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$CCED0C92-6153-4145-8C75-1F6AB046B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$7C368EE8-8863-476A-A8B6-4697700FB657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$1B927F96-7C46-49CF-B4AF-BDBF5E62ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04dd8b4fde7110b3fe0344d885bcf56de9bb83f0","datavalue":{"value":{"entity-type":"item","numeric-id":3983044,"id":"Q3983044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$018B720A-CAE2-4759-8853-69893116CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$41EADBF2-A112-4DFB-A84B-3811BEC53FC5","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":"Q4610313$CFAF605F-783C-48BA-AE33-514870F28D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf81ce9053e1ce50176bdc6cf3139eed90f60ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$0949D40F-6AB0-42E9-814D-6565A6F2CD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1024b68adc6af0e3099826af529a012141e11b","datavalue":{"value":{"entity-type":"item","numeric-id":5053013,"id":"Q5053013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$229845A6-A83B-4803-9505-0E8FB86FBFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$F71BBBDA-FEDF-4359-BA40-2F2A3A0BD80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$DA564AE5-EE01-403A-932C-9C718180BDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$1D3293CA-3938-48B2-A811-9C3FFB569DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610313$E9B0636A-A595-4B3D-93E8-1B72FCA49C8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f5e38afee01093c6f3885ad3450a75e62605674","datavalue":{"value":"10.1007/BFB0027403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610313$686AE39C-F25B-45D3-94E3-E387C4A39385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb29b9dda9bf3ab779158f7f1e64bf7af145aac","datavalue":{"value":{"entity-type":"item","numeric-id":5053013,"id":"Q5053013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ee25c6ec8d9d2d7baf748e7ffd8f3e5a6f7f26","datavalue":{"value":{"amount":"+0.8079849481582642","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":"Q4610313$F4547E10-61B5-4C46-A546-E4C4D63DBDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df5f72d35755a970f4751be910cfc5aab7c3134","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cf1f0f07fa5e592e8de2b3d91af5a2bd1a3a2e","datavalue":{"value":{"amount":"+0.784968376159668","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":"Q4610313$2ECC6C01-D052-4200-9976-84EB1239EB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954c80e75c528c9b33ee206ac3778df5df16eeab","datavalue":{"value":{"entity-type":"item","numeric-id":2715522,"id":"Q2715522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb79331ee5a54dce9c06ca37b17e7e256337fe96","datavalue":{"value":{"amount":"+0.783356785774231","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":"Q4610313$E9144A10-B7E9-40B1-A97A-1AAAFE3CA775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d89deb34ffd836b20703dfb5499543e063a3a6","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78677ccb9ca747adf2315d6da27f6dbd8ca28271","datavalue":{"value":{"amount":"+0.776824951171875","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":"Q4610313$6F8F0753-3A94-4625-8DC3-7794552C8487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a44cc71a8f6423fedcc5f64eff5ac3e9ea30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1094151,"id":"Q1094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfc19722b6452998aee11ced810d61969ca0d4c","datavalue":{"value":{"amount":"+0.770320475101471","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":"Q4610313$C21DE206-5EA1-4B7F-BB8C-76CE1E822C6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610313"}}}}}