{"entities":{"Q5886522":{"pageid":7916073,"ns":120,"title":"Item:Q5886522","lastrevid":101846675,"modified":"2026-06-06T03:00:14Z","type":"item","id":"Q5886522","labels":{"en":{"language":"en","value":"Witnesses for Answer Sets of Logic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7672674"}},"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":"Q5886522$232C7E5E-F466-48FB-83D5-6119A4F8B28F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fb7d11239af5ebfb23a1f08e70b6e1d93a92297","datavalue":{"value":{"text":"Witnesses for Answer Sets of Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886522$613C6F17-CC42-46F9-8B06-56C71725EC1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9fda63530ce7bb4610d4fe12d9131882175a0c6","datavalue":{"value":"10.1145/3568955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886522$975BD437-A0F9-4769-B33B-C809E72B3ABE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a6d28082a823e55db83339b2b8bb853ec164ff","datavalue":{"value":{"entity-type":"item","numeric-id":645080,"id":"Q645080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$5D98E80C-8D40-4E1C-B25F-C6A6D2674A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$F78FAEBD-E9AA-4668-8250-4BF28DB745D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b3470e2f1805140214711a80178bd373ed75d0","datavalue":{"value":{"entity-type":"item","numeric-id":426320,"id":"Q426320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$71504159-8140-4545-B2A8-A47DDFCE505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$E8339301-F446-4A11-8477-EF1A5C443ECB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$169EF40C-D46F-4A9B-B1E6-F1DDF188CF7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23081f3ff1efacf6ecefe15d31667096d2415dfa","datavalue":{"value":{"time":"+2023-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886522$A71AF8C1-67FF-48F3-AD5A-3045E2FC2E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886522$203BCDFF-EC2B-4CA3-9119-5B60F5C6468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886522$C2898E64-E79E-463B-AEA9-42DBDD28B6C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81c02747b695943fb4c608d6f181870a79648307","datavalue":{"value":"7672674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886522$E6CF2F02-CFB3-4CED-B61A-9F54499AE96D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886522$1DBA6683-E27C-4D67-A342-78B7E261885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886522$12279EFF-5EBC-403F-BC5F-DB5C6A5474F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886522$B2D0C6EB-12CE-4507-B5CB-6F6BEA25CAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3336b0518162d61ed57d02a0de4e9d8d061f3981","datavalue":{"value":"witness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886522$E091038F-926C-4934-BD98-333B4920F4C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a800939a099edca282202e232a7efb3304dcf4","datavalue":{"value":{"entity-type":"item","numeric-id":5973932,"id":"Q5973932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$5442BF32-9ADD-4BAD-8B6B-610A349DC4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$B257339C-D01F-4070-BBB6-AAA67FC2EE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$AF79AE71-7CBA-4C4A-941D-3A2F994AA47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64a169fc411e5e98638463c50be8a0d0b72e2f81","datavalue":{"value":{"entity-type":"item","numeric-id":37243,"id":"Q37243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$42ED3760-BC56-4589-AB13-042CF808A2C5","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":"Q5886522$8B74B115-B3F6-4BA7-8401-7E44BD9A92C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040eb235debf01b0af17288f15a72a4ae90141bb","datavalue":{"value":"https://doi.org/10.1145/3568955","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886522$C145C2AC-F0EE-4000-BD02-5D0442318C3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"396c5001ef563371caca92760e5e68031a0c9b29","datavalue":{"value":"W4306873650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886522$0D9BC6A8-C08C-4B29-9AF3-BA9F68C598A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b866a96dceb7a4dc038e0e9d7f0865952f207e49","datavalue":{"value":{"entity-type":"item","numeric-id":4988946,"id":"Q4988946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$466AF440-9849-4A07-8519-288438303B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1df74d0bb8ed5fcc7de102cc62a6a6ae535271","datavalue":{"value":{"entity-type":"item","numeric-id":5108508,"id":"Q5108508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$3B44AFC2-B247-4653-B0FF-C19DCF955250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b64da85ecbb50881ea1200e14a9d9aa0600e4ad","datavalue":{"value":{"entity-type":"item","numeric-id":253992,"id":"Q253992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$93F99A1F-6BB5-4732-A329-F19411903B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0f7b94aaee0841d9e0b7d2dd21c0f498df13dc","datavalue":{"value":{"entity-type":"item","numeric-id":5020962,"id":"Q5020962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$CB3D60E8-D8F1-47A7-BA97-71FB8FCDE40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$6EAEA9C1-EC3A-4B4C-AEB0-E8E06EF113A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a5a0cda8df0592e1c6ce8b60ba4192759e8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2401922,"id":"Q2401922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$915B65A8-8C31-433A-A44A-18BBCD14BB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b64c47b2b173fcf1b2f77bc0da89a8d5d2ef073","datavalue":{"value":{"entity-type":"item","numeric-id":5857680,"id":"Q5857680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$2CE3E05E-B338-401C-BBC0-54CAA82791B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8357767dc8223e1fe3082449015fce52686480a9","datavalue":{"value":{"entity-type":"item","numeric-id":2401937,"id":"Q2401937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$891821AD-9F0A-4A34-9EEB-2F625674D4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130cebce75d9ae8f2e1c56fa5ad26e1756bce7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5145841,"id":"Q5145841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$59BE68BE-39FE-41F6-A75B-84288808522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756bd94e90f19dfa8061646795e16b0e910e1478","datavalue":{"value":{"entity-type":"item","numeric-id":3140634,"id":"Q3140634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$932226FF-D421-4724-AE8A-9C50B487A8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1a04b1d64f4724088e1d68621c9be25a60134a","datavalue":{"value":{"entity-type":"item","numeric-id":4593044,"id":"Q4593044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$8497FC8A-F7B9-404A-A123-FAAAFFF428B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d2cda70781e89ae7a492f0d12c5880f82a46d7","datavalue":{"value":{"entity-type":"item","numeric-id":2931267,"id":"Q2931267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$ADE36B68-0881-410F-942C-3E5EB5E3BD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17f2ae0c294b06d455cccd3dc5aa06ef6697d87","datavalue":{"value":{"entity-type":"item","numeric-id":5020971,"id":"Q5020971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$CB625704-A65E-42F6-93B1-DB3D4467B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$1E1513D2-3CEF-4772-841E-14040A07E5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69490b3ff445ca29ffe97fea7b2a957dd6bc209","datavalue":{"value":{"entity-type":"item","numeric-id":5714749,"id":"Q5714749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$9381094F-E09F-4C70-8D31-ED53945E7FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11317780d065622a319a6b336613ee244a3f460d","datavalue":{"value":{"entity-type":"item","numeric-id":1893737,"id":"Q1893737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$D3321C98-93CC-4970-BBD5-90B604E53C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$4A211157-EAB8-44AA-9B75-2452288DB2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813a6b436638418c091e7eb1c4f80c0be8f8d430","datavalue":{"value":{"entity-type":"item","numeric-id":4631193,"id":"Q4631193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$C3875F8F-4317-4599-90E8-19AEC9F577F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c83b36a7e658c8ca5d562bbb3ad6d3af686f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3449209,"id":"Q3449209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$9AC30026-AFF4-42D1-B3F9-22D0B4391A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$E4B8016F-DAD6-41FB-8A85-F289F3A78EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c000dda78027feff507fd3de765227cb70356a0f","datavalue":{"value":{"entity-type":"item","numeric-id":5197755,"id":"Q5197755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$D85FA439-11E1-4C19-AF4F-F59923A8DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3430f8bb3e1ab3014c9fe02a873a5617a22fe9","datavalue":{"value":{"entity-type":"item","numeric-id":4957194,"id":"Q4957194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$33537423-9765-4321-A518-1F5B87B9E34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$94501699-88D1-4D19-9916-AE4F92C2EAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$98A98E2D-703B-4D69-A314-03784DD23801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e695b6da6b279b9df1b46240360ffce22045921b","datavalue":{"value":{"entity-type":"item","numeric-id":5705946,"id":"Q5705946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$6B75E2AC-CFB6-4DFB-9560-FB59231691F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05105ee0b93781883bdb9d475c8ab52f7c1f026","datavalue":{"value":{"entity-type":"item","numeric-id":4592972,"id":"Q4592972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$F8D5445F-7CD2-4831-A9FB-514153AF1C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6f90e40bd2721e9d550d13ec95c493467b0880","datavalue":{"value":{"entity-type":"item","numeric-id":5197747,"id":"Q5197747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$7CD22FCF-12E7-4F6D-9DE0-80629484A8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c17d4e5ffe93a495e89413313ef5447152dfd2","datavalue":{"value":{"entity-type":"item","numeric-id":820148,"id":"Q820148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$C4640C23-4FD0-4E38-AD77-1AFA88EE904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75465021e750980016d289925f1f4dcec3885cac","datavalue":{"value":{"entity-type":"item","numeric-id":5473962,"id":"Q5473962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$333840FB-BD7E-4469-AFF4-F6F9BDF6578D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$A0725339-1F4C-4A42-932A-5B6F831A4042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$51F9B4CD-9159-4E14-BD99-8667C1105F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$F62AF13A-5266-4068-BF4E-AB06D55BEFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$76DA3EB4-C0EC-4870-8F88-98E39C33DDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$46678499-2665-46A5-86E3-F5AA7D4EC154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b7f7779aadc9cefe2009dbba333f074f618352","datavalue":{"value":{"entity-type":"item","numeric-id":253999,"id":"Q253999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$ED3CD2B1-3FE5-42BB-9200-202E3932CCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$00891DD1-86F7-4E93-8F3B-07E3AADC6D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$27C76ACB-D816-4DA2-92BD-51C131A59128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69190f2fcb79af37af8501cc4522400218bea1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$82CC2C6A-81BB-4BF9-9FB1-7D18F8A636DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$2B9A1EA0-5624-4B15-B2AF-D826D0E16850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$DD482846-3C91-4FCB-B0B3-E9B78B12ACA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af7d90f48521d357e657970d9bada25f537d61d","datavalue":{"value":{"entity-type":"item","numeric-id":969538,"id":"Q969538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$15952220-E837-4345-B77C-0A081AF1CBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e0c597ce2dfaa2e54a53bfde6d5ec42d99e17f","datavalue":{"value":{"entity-type":"item","numeric-id":2321252,"id":"Q2321252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$2CEFCB5E-9B6D-4B03-9BE8-F0A07C9D770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903ba27f950ec026d48175a7e70811f8a8972367","datavalue":{"value":{"entity-type":"item","numeric-id":3585165,"id":"Q3585165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$8DECB49C-E28D-4AB6-AE73-7F07E6DF0F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5ca2e4f80b09a24850f3d882a890120a7e6a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4603428,"id":"Q4603428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$BF1455CB-0491-4001-83B9-13DE85F784E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$1E24B063-6BD7-4F19-B18F-A88CF9E0A2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08df56f2923c4415566e40c8ed3fac8ee57ce8b","datavalue":{"value":{"entity-type":"item","numeric-id":2851274,"id":"Q2851274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$834D905D-1B27-41A1-ADE2-9A8F558E8E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0db3af706ffc655d538111d211abb9721dddcf","datavalue":{"value":{"entity-type":"item","numeric-id":3612602,"id":"Q3612602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$553884B7-515F-49EE-A5D7-2C022BB526F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e63d4d6866c461de68360b8af6a8e93f7e8f32","datavalue":{"value":{"entity-type":"item","numeric-id":4994500,"id":"Q4994500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$776EE6DD-A472-4271-9D14-341109EA17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6dfd012d5aeffb758a1244231e92d7c412e3861","datavalue":{"value":{"entity-type":"item","numeric-id":4835533,"id":"Q4835533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$2063D752-E875-4D51-83DE-B4B86F561782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217f1007ba86fee96eb45ae2bf70a9403e7b5176","datavalue":{"value":{"entity-type":"item","numeric-id":4593019,"id":"Q4593019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$EC55E24C-67C2-495A-964E-AE7EDF36C4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d4b2aeb37eb13abdffedc884489170ead1456f","datavalue":{"value":{"entity-type":"item","numeric-id":2289011,"id":"Q2289011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886522$C769DFA5-59FB-441E-95E2-C2016E0DFFCA","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":"Q5886522$FBA448C9-ECCC-4648-B243-0A8232A934DE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0ed5d6efb48845c51cc8b9915dbf9cdfeee9a147","datavalue":{"value":"Q130807587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886522$3DC5EE3B-E562-4DCC-86BE-605BA769EF08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e65fd1489d2775ce28012b571ce1e2ca73942b","datavalue":{"value":{"entity-type":"item","numeric-id":2644415,"id":"Q2644415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e1bed3964ed63c4f644e5708709bec985b977f","datavalue":{"value":{"amount":"+0.8936638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$C2A44BE4-1C4E-4C85-A43B-D1F685DC7AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291a037f5ac0f782c3e5edc915acaa84f1332ead","datavalue":{"value":{"entity-type":"item","numeric-id":5449601,"id":"Q5449601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a167645eb8c5ecbf9294d2f6568b0d8c3996ed6","datavalue":{"value":{"amount":"+0.89330435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$A55AEF07-98EA-4586-8A42-B8F5C7C95FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cefeccd646ba8d4fb7e9f1333c3ce6127977726","datavalue":{"value":{"entity-type":"item","numeric-id":3612602,"id":"Q3612602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a167645eb8c5ecbf9294d2f6568b0d8c3996ed6","datavalue":{"value":{"amount":"+0.89330435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$BD6F134B-C333-4120-9F7D-5FAAF8A4D0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53aa154dd5edd0155dafa8852190f177ffa93af1","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b469d66f202affbed2054f4dd9fe3d7cc745ec3","datavalue":{"value":{"amount":"+0.8766284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$96EE0A80-8988-44CB-81E5-E8A98CDE701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c30f8e1c0b9481275bce4e179f1b194df0bf20","datavalue":{"value":{"entity-type":"item","numeric-id":3464628,"id":"Q3464628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4996f394d59628cd19804a60b03ff4858dabe22","datavalue":{"value":{"amount":"+0.8755945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$CF937AB8-8731-4CC8-8941-7F43E33C518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6097f9fad2d3fad282d7c130e3c37bac7b7f5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624081,"id":"Q3624081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52cbbc7649172be17e4a1e992eb686430a8d58b3","datavalue":{"value":{"amount":"+0.8737354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$2FFBA1CC-8AFB-437B-B17B-0A4036690603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ff9ad0f8a001b0c2d6976dac326579f4799425","datavalue":{"value":{"entity-type":"item","numeric-id":1688962,"id":"Q1688962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553a8afc6d19552b9454fc134f87fa9150616e77","datavalue":{"value":{"amount":"+0.8734093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$A046AF9E-2CD3-4ABF-8B64-6F9C1DF2A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2fdf0efa217e56777b5bc042082ba2118674a5","datavalue":{"value":{"entity-type":"item","numeric-id":4452589,"id":"Q4452589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9025c5a9ef379d17ff3c8f654ab76b174fa337d0","datavalue":{"value":{"amount":"+0.8712153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$46795D34-81A5-4046-AB80-1ECF9FF40AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85dbc7c2c86fc0007c4247c36836428e71aee2f","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeaed8ad59cbbf37b334c4949e5c520750c3da25","datavalue":{"value":{"amount":"+0.8690969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$E86A4BC5-FCF7-4668-A7DF-E89598CE8725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af209fb43d667dd63ec54ea4452717274f7adb7","datavalue":{"value":{"entity-type":"item","numeric-id":1900312,"id":"Q1900312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51b995523e8ea7d12b13b877871a1d8bdb50c5d","datavalue":{"value":{"amount":"+0.86821455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5886522$47A6A458-8A9E-4768-9591-A388780B7272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Witnesses for Answer Sets of Logic Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Witnesses_for_Answer_Sets_of_Logic_Programs"}}}}}