{"entities":{"Q6156873":{"pageid":13291440,"ns":120,"title":"Item:Q6156873","lastrevid":58737807,"modified":"2026-04-06T13:07:53Z","type":"item","id":"Q6156873","labels":{"en":{"language":"en","value":"Kim-independence in positive logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7697361"}},"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":"Q6156873$26A0E0C7-81D2-4AFE-8676-18C57FF8249B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0611c1469da89b3956c7de3827d3b6f1fba88f8","datavalue":{"value":{"text":"Kim-independence in positive logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156873$AC9384A8-A1C3-44EF-8103-C594763D9E34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20dffd84fcd4c8e06db4eb1ac6b25026898ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":679079,"id":"Q679079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$E785DEFC-B6BC-4B3E-B3C9-27A9230BB6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"273d2bf37432ed1041bd6ff163b804013beb8d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2700807,"id":"Q2700807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$298212FC-121D-4683-9C65-B51E010368C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"888b10023cb453b96751f1b64a853fce121771e9","datavalue":{"value":{"entity-type":"item","numeric-id":6156869,"id":"Q6156869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$F5DB08BD-1885-49B8-BCCA-62969B15DEB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1568bcdbc15a3da62bd02289f2e9e5d50d8fef1d","datavalue":{"value":{"time":"+2023-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156873$F1E5E44A-8B7C-40FC-BC35-E647137CB780","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1afbfe00b25a81bc666684d820a6f4bb4ee6ca08","datavalue":{"value":"https://arxiv.org/abs/2105.07788","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156873$14E5072F-EF91-418A-AF09-94AC9DD14D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156873$15F1D1A2-516B-41B2-B184-918C6C7213ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156873$9FAAE582-82BB-4B3A-8728-55241E9B3357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"064041ae0e9f586eec5dd6ca3d4d59f190b26423","datavalue":{"value":"7697361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156873$2FA05310-DFC9-4C56-9897-81EB432FED64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56f2d9ab74eaa2697ed0ebfbcfe1ab20848111e","datavalue":{"value":"Kim-independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156873$B53FD920-9031-4524-8D7D-E4A39441328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560171122de16dba91c877ae8713fe53ab463dc8","datavalue":{"value":"Kim-dividing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156873$E4A96F2F-4A2F-4FF3-BE34-1B8751A52119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29be9b1e6959e16689bfdefeff0c234003806f93","datavalue":{"value":"positive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156873$BDD39BE3-851C-4582-8AD1-15F044EF199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be53f0ce14754f22d9881a429348ce489bf6c6c5","datavalue":{"value":"\\(\\mathrm{NSOP}_1\\) theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156873$2B5AB341-A329-4302-9F95-82A0F5817440","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":"Q6156873$611F62F0-BF0F-4414-8F47-39CBBC379EC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d08acf1b72a14317b696794df368d13c6ec23f1","datavalue":{"value":"W4286386232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156873$57F12984-FF2A-43D4-A4C0-3AD529411877","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac1003c3b824402da75d1eda2657089a22fd0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4408483,"id":"Q4408483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$18EC2EE3-AB3A-4736-83A9-5890E164FE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc2fce602f6eda1cfccf92d954eddb3d4a4e600","datavalue":{"value":{"entity-type":"item","numeric-id":4460752,"id":"Q4460752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$1DAA0028-62C9-478C-A6F5-EB0CCDD4F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096e912ac89e08164b35ca88dd0a359419b44796","datavalue":{"value":{"entity-type":"item","numeric-id":4811307,"id":"Q4811307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$5D3C5E39-3B32-440D-9475-91A18FDD065C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eda127bb16973fc6d87de4b1da910dabc75a509","datavalue":{"value":{"entity-type":"item","numeric-id":5444691,"id":"Q5444691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$010931B5-84D1-4E82-BD4F-132D7DCF38A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9c24003c85c1e6c63fc316811ae175f6b4957a","datavalue":{"value":{"entity-type":"item","numeric-id":4779645,"id":"Q4779645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$5DC8BEEE-CDF2-4230-96FD-6E79D9F45F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b85fab9589b72bdf694a3f0acb734eb0b8aeafb","datavalue":{"value":{"entity-type":"item","numeric-id":5159493,"id":"Q5159493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$AF790623-5723-43F1-8784-44E1F4890E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67747139091f743a2251e3ba86200a0e704f276","datavalue":{"value":{"entity-type":"item","numeric-id":5163167,"id":"Q5163167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$376445F3-BD1C-41A5-A669-C7E755B95A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64dce5efb685e57b130aaa1f1cb1ed7e55ac7405","datavalue":{"value":{"entity-type":"item","numeric-id":2067639,"id":"Q2067639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$8FB097DF-6107-458F-B83E-AF7B3556F429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c195ff025a741a759baf36533fad69a1474fed25","datavalue":{"value":{"entity-type":"item","numeric-id":5222537,"id":"Q5222537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$07443C43-4417-49E9-BA81-CC0742F3E9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48324d67d2149898381b05eda286c82719a88077","datavalue":{"value":{"entity-type":"item","numeric-id":5858929,"id":"Q5858929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$3AB093F2-BB88-4FF2-AC90-421CACE0D531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00251b903067b8cfd62f7f87d5e75e72c868766","datavalue":{"value":{"entity-type":"item","numeric-id":4621381,"id":"Q4621381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$34291666-10B6-4DC6-88C1-01A942B90EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4bbe5491528e102f4686ba38f32fbc9beab1bf","datavalue":{"value":{"entity-type":"item","numeric-id":4716690,"id":"Q4716690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$7A1EEC53-257C-423C-96C5-3D9DA7DEC5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17f6028f41e928b2802825d9a9a3241c546bb79","datavalue":{"value":{"entity-type":"item","numeric-id":5015732,"id":"Q5015732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$0A9D74D0-8769-4731-83C0-979CB7325F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabcb33c6d666b779eda8df6727aad36d59e3e70","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$257D61C1-9097-4CD0-83BD-B7F1B3966B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c116477c99581a2df431464901f29e57bf073286","datavalue":{"value":{"entity-type":"item","numeric-id":2436607,"id":"Q2436607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$FE7DD069-6E35-4F6D-AF02-B844AE266EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aac1c52c7099b3b9972a34893ef64fa739b6532","datavalue":{"value":{"entity-type":"item","numeric-id":2288328,"id":"Q2288328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$F06F3AAF-2928-46AC-B54E-1AA372C96DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254fe7abf7392c932be6d175e7f3d02d9a9cb12e","datavalue":{"value":{"entity-type":"item","numeric-id":2758394,"id":"Q2758394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$54DB0D8C-985F-4257-8E0D-EEE6CF07CDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3d478f2b9ced4aec8bcef99066f55ee95ff6f5","datavalue":{"value":{"entity-type":"item","numeric-id":636321,"id":"Q636321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$778E9EA4-DFFA-4157-818F-C4F70B5A4892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcbc42e7ac4be6c3773dc1c880afa3ac84d24a9","datavalue":{"value":{"entity-type":"item","numeric-id":1653552,"id":"Q1653552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$EFD624CD-DADC-4EAC-B099-E768B2C5FB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9020c959fd2fe6830eb570bdc5090e181554ced","datavalue":{"value":{"entity-type":"item","numeric-id":5255892,"id":"Q5255892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156873$20A6F1DD-ABD9-497F-A143-4D492BA6EE3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"191b5f4bf1ab70c88ce3bc8c5c9085c61b37f118","datavalue":{"value":"10.2140/MT.2022.1.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156873$C3D15887-27F1-48EE-AF92-4ED43927B5A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6a7ae00126343a233499b8536886a6f2ea3f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1091385,"id":"Q1091385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf4073498a6cfcc25e66f736587fe1bb9e9281b","datavalue":{"value":{"amount":"+0.8645744","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":"Q6156873$3E2F2DB2-DFBD-4620-929C-BF9626C37573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b733cd32afe4ec609b89ba9a3859270729ac5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2220480,"id":"Q2220480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09fdefaf6ef33b893a0bfe0fadfe3d1606df71c","datavalue":{"value":{"amount":"+0.86055326","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":"Q6156873$97FF41B8-3E53-4D47-BAF8-00E6B8DCFE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff14c4338728256de7d3fe337ac76aedcbe81421","datavalue":{"value":{"entity-type":"item","numeric-id":598297,"id":"Q598297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7557c030c76b765daf4e1c0a306264a6f6bffb57","datavalue":{"value":{"amount":"+0.8602468","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":"Q6156873$90993BCB-C2A0-4994-B98F-0BCF3E12E45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526cd1b6f75a7bef94c301a844f00e932e97dc03","datavalue":{"value":{"entity-type":"item","numeric-id":4961740,"id":"Q4961740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133369b2fd28e23561cfffa8c1e22b98226ee569","datavalue":{"value":{"amount":"+0.85873514","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":"Q6156873$FBE93745-5562-4F18-85F3-8F753EE02B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddb606d7569c1f1eeb1da7bda65cee812358e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5213644,"id":"Q5213644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9400c565b7970bb74740542a2fc589ba61e17186","datavalue":{"value":{"amount":"+0.8582001","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":"Q6156873$1BF184DF-AA21-45AF-97DF-B96E7640D3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31b0dbb454505d2a45dde5949ba09b184f05e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e198a8046abed026eea9f280543607e7ae3b61ba","datavalue":{"value":{"amount":"+0.8577886","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":"Q6156873$3ED392AB-D463-432C-A8B8-749498D4C9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08b4f5dd1414c793c90fab8f306e85091eea55a","datavalue":{"value":{"entity-type":"item","numeric-id":5258482,"id":"Q5258482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060f3d064e538839d30c64d74420e8df07959e80","datavalue":{"value":{"amount":"+0.85703826","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":"Q6156873$FAEE7153-62A0-4058-A253-1F9BCFBEAADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12183169ef3a4e0c9fc334d4c863bd098f4ffcab","datavalue":{"value":{"entity-type":"item","numeric-id":5915779,"id":"Q5915779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefaa58cfc0c1e8caeb792280df01adf1c3f40e9","datavalue":{"value":{"amount":"+0.8547169","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":"Q6156873$D656621D-B32B-4AE3-8BAD-2A6A73A06A94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156873"}}}}}