{"entities":{"Q5163987":{"pageid":7193558,"ns":120,"title":"Item:Q5163987","lastrevid":55392715,"modified":"2026-02-17T15:28:13Z","type":"item","id":"Q5163987","labels":{"en":{"language":"en","value":"Logics of dependence and independence: The local variants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7423149"}},"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":"Q5163987$ED57CB01-3A68-464E-8CA6-C16593B137B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33a8ac5d40d1c348bfd40de4997dfe2ecbea0e9c","datavalue":{"value":{"text":"Logics of dependence and independence: The local variants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5163987$762AE51B-5139-4799-B49F-ABF59BF68CDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163987$74C5CA45-70BC-4EFA-8AF2-4F270BDA4924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f14d0f49f81526a6f6d15ae68f56392b8aea07a9","datavalue":{"value":{"entity-type":"item","numeric-id":5163986,"id":"Q5163986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163987$683336EA-6FED-4096-BA41-4F9E5141DB11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e8877531cc3beb8833806042dffaedcc047af9","datavalue":{"value":{"time":"+2021-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5163987$DD66C1B9-7A57-4919-AF43-A99EEF719568","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88693f532c2d6bc82aaf1fa4a01614b84cf5a849","datavalue":{"value":"https://arxiv.org/abs/2102.10368","type":"string"},"datatype":"url"},"type":"statement","id":"Q5163987$1AC9CE2D-B696-4981-B2E5-686C0126D4EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163987$A568F261-A09B-4DFB-A970-D49C74A43617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163987$F11DB6B8-D47B-42F3-99BC-8619BF638995","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e93a91d576c1949288c5d5cc3f1825666ac172c","datavalue":{"value":"7423149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163987$2E2E589D-11FE-48BF-8753-C729F968110D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4b7797af53d2e28f5d59969e5906064d77dde3","datavalue":{"value":"logics of dependence and independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163987$C997C579-912F-4FBF-BED0-D2F9B6D922B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163987$FA616F34-68D4-48B6-B596-3D21A418D2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163987$81661C02-1A85-4B3F-885D-F7D9B383B73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5163987$2CA6BEDE-3754-4FCF-8DA8-298637E7FD91","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":"Q5163987$55D4D580-F953-423B-AFBC-825175FCE097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7b2df10e6be6539512d81f4a43bdf09e2fa5af6","datavalue":{"value":"W3184898920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163987$CE55122B-82AD-429B-A803-05B30B0A5309","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5d9e963411d6e164d958c7e8f146f04bd726504","datavalue":{"value":"10.1093/LOGCOM/EXAB043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5163987$91517A1E-FD83-4A3F-863F-2D4592015A65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5163987$0BF608E0-B71D-4EC7-8E73-9CF52DDD4001","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77400c6b60624bac8baa5f68a0b0a15b3f4a9c85","datavalue":{"value":{"entity-type":"item","numeric-id":5884942,"id":"Q5884942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96dd23c4d535df0ce02d772d065c3550396fcb30","datavalue":{"value":{"amount":"+0.8492165803909302","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":"Q5163987$828CF2E2-86EA-4BA6-89D1-2758910954F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d93d5b833b07b9d53f2fed6ce57e41f6c342fb","datavalue":{"value":{"entity-type":"item","numeric-id":5079749,"id":"Q5079749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba7dc3cc342344e5ef119299203452d00cd7f4c","datavalue":{"value":{"amount":"+0.8307175040245056","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":"Q5163987$590AD36A-5CA0-4DBD-A4C5-184BC92753E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0ae20dea4c7d545b3f8767a93f111a077c63db","datavalue":{"value":{"entity-type":"item","numeric-id":2240545,"id":"Q2240545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09681a41a3faad7708b4f8b0322aa32bfcdda271","datavalue":{"value":{"amount":"+0.8240072727203369","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":"Q5163987$D044253E-C705-4D50-8279-973949066A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82aabe518af978ed4622408b51146a8cebc3e57d","datavalue":{"value":{"entity-type":"item","numeric-id":6649522,"id":"Q6649522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22cdba366402617e19a3f449e874958b2e706d72","datavalue":{"value":{"amount":"+0.8097575902938843","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":"Q5163987$858F663C-2ED3-4305-ADBC-9BEB7FC9C676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e70a6f00fc92e27da11dc32ea158c57d3fcfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5034235,"id":"Q5034235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092d30e499dcd2675e446520785fddf7dfca4cbe","datavalue":{"value":{"amount":"+0.8048004508018494","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":"Q5163987$E1CDDB30-8553-415C-93A3-C8BA06585EF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5163987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5163987"}}}}}