{"entities":{"Q466449":{"pageid":468216,"ns":120,"title":"Item:Q466449","lastrevid":62070918,"modified":"2026-04-11T03:34:33Z","type":"item","id":"Q466449","labels":{"en":{"language":"en","value":"Axiomatizing first-order consequences in independence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6361699"}},"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":"Q466449$DED46BE2-73FF-4B9C-827E-3C099C9FC5EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c6b94f8cfbf9f6899afe6f0290cc77117d3afd9","datavalue":{"value":{"text":"Axiomatizing first-order consequences in independence logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466449$CB8874A7-1938-4C0B-BF28-A59584A76498","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"611f0980f3d98151fdd447961e8f9f5ba4a9b3de","datavalue":{"value":"1343.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$596514A7-151A-4E8E-85B6-69EEE35D861F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$633A3C04-C88F-4529-8800-259870382BB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$AB5EBF2D-3660-4596-9F3C-EA196425F3AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f6f7900ba8ceb723d72b93c818553c4373cdeea","datavalue":{"value":{"time":"+2014-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466449$09EE81FE-6E4D-4B5C-BEF5-689F2DCD13FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d60089fbe364b13b9ebf4887dca339508895b9","datavalue":{"value":"https://arxiv.org/abs/1304.4164","type":"string"},"datatype":"url"},"type":"statement","id":"Q466449$BCF77255-A79D-45C3-9181-7FABE1C37752","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$8CF801D1-15FD-4B8E-80AF-F5E9208534B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$393DD734-B535-43C5-995E-93592CE58D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$D6E11FD9-16E6-4DDC-ABF0-D778C8945E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f57fbb32d015d2ac963ca3fa4afce9d55893a5f","datavalue":{"value":"6361699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$2B8EA3D0-4457-4805-BF43-B20E0B140EE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q466449$9A6CB534-E243-4532-ABE6-A026CCEE7294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8445b6daabb2325b71f3697d57e2322429652d87","datavalue":{"value":"independence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q466449$84559910-B558-4D06-AFD2-7020111B66BE","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":"Q466449$47D37F7A-6237-430D-B598-15E4081D9E29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e30362a6f548f41cead0e777c99baadfdf0e0ef9","datavalue":{"value":"W2963823733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$15A40F77-856F-422C-9FC3-883691DDCF25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$EDE78C37-D62D-436C-8517-18B478D6F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092be92e7b599902deb7b1af066f9095dbab8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1233865,"id":"Q1233865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$DFA10388-2ACD-474D-A935-AEC0524F4F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$154D6550-23CA-475D-B2F9-C90F318BF7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$56A1061C-A3FF-4F3D-BEAB-1AF06CC1DD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296e8337b52a14508ae0833d771c4b3d1dda2b6","datavalue":{"value":{"entity-type":"item","numeric-id":1949170,"id":"Q1949170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$0CBFC346-2A3A-4147-B6EE-C1DA4E633886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daff71bc4d4ea1377d5797f799dbb79e4a4de179","datavalue":{"value":{"entity-type":"item","numeric-id":5249667,"id":"Q5249667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$0ED8EB63-530D-406D-B3C2-B4B4AD126B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$4C82CC54-1239-438E-93CB-BC7EB133585C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10329930573e2ca9136c9c44d372296e4fba8ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5404957,"id":"Q5404957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$04C64E3D-4D88-4628-B1C6-058299D9CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$8C43DFBC-6B39-4482-B7DF-8B670AB05F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f56971fced6385c8489def46f85c176c60ada91","datavalue":{"value":{"entity-type":"item","numeric-id":2508328,"id":"Q2508328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$EEE93B2C-9D59-4565-BA64-7A4823A3945B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9aa88c0c482ef15e9819e388b92960e3ec83f79","datavalue":{"value":{"entity-type":"item","numeric-id":859834,"id":"Q859834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$35D596E7-DA5E-4449-BD0D-D2079FA7180B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$C4C10572-4E1D-42B9-A2A3-A1B9DD457CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305a47587dca032c000354982616ac90bd83c6a","datavalue":{"value":{"entity-type":"item","numeric-id":628802,"id":"Q628802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$7859F687-47EE-4807-B43C-138E9FA3285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0d9c99ed1b85578d45abf8667cb84f67c4bb10","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$6FD45FA9-4358-4601-AD8F-37D32A2886EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466449$38069FBC-B86A-4E9E-BEC0-1768D9555DA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e6a31095be9cd7b474f99c3ef45ada9430774b2","datavalue":{"value":"10.1016/J.APAL.2014.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466449$6282FF2B-6E35-4DA0-BB13-6F5D5C4D19C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3ee318bf33ea386c29f2b82730213cebbdf637","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40619abc1b4377b52adf7606ef1b5fc487d1c6f0","datavalue":{"value":{"amount":"+0.9258224964141846","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":"Q466449$9E4751AA-5406-4E49-9A48-B858A2413BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8741f1eedf1429d58569941304a94a53af60d09","datavalue":{"value":{"entity-type":"item","numeric-id":5119909,"id":"Q5119909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dea24775009490eed050ce8a6d28e981f1a45f","datavalue":{"value":{"amount":"+0.8387018442153931","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":"Q466449$00340F2D-AEB8-4278-AEE4-508269F5997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3147f6e6d51cced904ef8c5a4542352fd0e2e","datavalue":{"value":{"entity-type":"item","numeric-id":2361348,"id":"Q2361348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247cecf56948a3608a6e5f594b57515787ca2f65","datavalue":{"value":{"amount":"+0.7446001768112183","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":"Q466449$217AA99B-E00D-49B8-AFC7-9DE3B4CDD7C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing first-order consequences in independence logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_first-order_consequences_in_independence_logic"}}}}}