{"entities":{"Q5213573":{"pageid":7243143,"ns":120,"title":"Item:Q5213573","lastrevid":55911937,"modified":"2026-02-21T02:11:43Z","type":"item","id":"Q5213573","labels":{"en":{"language":"en","value":"On natural deduction in dependence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162261"}},"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":"Q5213573$453A349A-17B7-4831-93B7-9F3A53C54D31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"967ba3e00a318648ad0d558f6c94965641fd4191","datavalue":{"value":{"text":"On Natural Deduction in Dependence Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213573$63372797-6468-4AE4-810D-13293EDF02FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5c4a355a0e1175f48d40f4e99645075a1b0074","datavalue":{"value":"1429.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213573$D19409A8-D8BD-4CE4-A2BB-3DD02EBD1C04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0dedc9345740933f80f9524e09d8b00bc2511e1","datavalue":{"value":"10.1515/9781614516873.297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213573$3B46E811-0EAC-4405-B77C-488A3BB10B73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213573$D086B27E-E7A4-490F-9907-D9A3A44FBCDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1dbeb32005c6d8e84d6b5861d5307238ea6ff950","datavalue":{"value":{"entity-type":"item","numeric-id":5213557,"id":"Q5213557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213573$82A475A8-06EB-4F70-833B-35C344C453C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75a771ae7772d5e2895e882aec1633da543f974b","datavalue":{"value":{"time":"+2020-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213573$06B2F87F-F74E-426E-81D1-1CD0D4DE0D05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213573$91D5F7C0-0904-4E2B-A8FD-62345C26D815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37581e18d573115ae8ff1bfd0a698192ab1043bd","datavalue":{"value":"7162261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213573$2B8C9E6D-1691-4903-ABB8-81A4E8B96B7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213573$4F96CA34-1D6F-48C0-A839-40F5478E589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213573$5CC52BA7-DE7B-4699-A6DB-CC4E8B25FADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422ede9381fa8ae2bfaca0ede649f10f0ec7b5f9","datavalue":{"value":"team","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213573$DEDCE7A4-26E9-4C17-BA7B-E87EEE225AA0","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":"Q5213573$A6975A7F-2E50-46A1-B720-D7F88BF5250F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a00fa6df878e2855feffc8ccbd99fdaf91dbfe0","datavalue":{"value":"https://doi.org/10.1515/9781614516873.297","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213573$482442CF-1ADC-4CCE-AD16-073DF9964B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"749fff476a74251d79442593bd3ef127cf4cd6dc","datavalue":{"value":"W2401933391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213573$B745126B-5E5F-4294-979F-E7D17E90A441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbc2c517f77e093efabc7bad6001143efba081","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47c751aea3f39eaf2dde7084b7e47bff58f18b2","datavalue":{"value":{"amount":"+0.752336859703064","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":"Q5213573$B2B1B176-AD3F-4889-BFAF-BB20683560B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c2f64a6b4a61cc51aab7c09e2f2edd5d67249a","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744c1312a69983d3e08fc10f85957229baaba9ba","datavalue":{"value":{"amount":"+0.7519701719284058","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":"Q5213573$AC3454A3-94CD-4BBD-9A5C-976C63844356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0257bd6a55b3dd670a5fed1d0945dc503a1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2849428,"id":"Q2849428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764c537bd94f6ce39f0a781a0af7a3b427acd0c0","datavalue":{"value":{"amount":"+0.7472471594810486","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":"Q5213573$CD8E4033-36D1-40DC-AEF1-851594EBBFE9","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":"8c0e08b8b5e6302c80243c5bef0ee7098902f883","datavalue":{"value":{"amount":"+0.7464930415153503","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":"Q5213573$B6DC635E-B5AD-4D9C-A7A7-FD244BC71635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213573"}}}}}