{"entities":{"Q3195614":{"pageid":3206322,"ns":120,"title":"Item:Q3195614","lastrevid":52369760,"modified":"2026-01-22T11:55:07Z","type":"item","id":"Q3195614","labels":{"en":{"language":"en","value":"Implementing crash-resistance and non-interference in logic-based argumentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496512"}},"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":"Q3195614$84091D0A-FFD8-46EA-8FBB-6203510BA9DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97e20b1cacd48778d0f1ed5de5d7a37b6663ce4","datavalue":{"value":{"text":"Implementing crash-resistance and non-interference in logic-based argumentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3195614$D77800A1-0AFC-44E7-897E-BD4137D4CEF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46971ccb02fac4863e7dc6fed199d6bcc30c79a6","datavalue":{"value":"1322.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195614$4A04B91F-83BB-477C-829E-160B6D40C7CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db1badc814bf2d01879ee7e852f8dd0c4391ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2269505,"id":"Q2269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195614$F8043D09-E908-475A-8E0B-6D8A5C28EB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4763662e3cba3e94d242dac7af77c68a87a4e1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3195613,"id":"Q3195613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195614$085D83E7-8F61-4EEF-A780-EF54D647D9C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3195614$821FEF3C-5751-4010-95D1-3B98BE9E4711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195614$01A607B8-1830-4CE1-A2A3-BF7429BB7A63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac5126ab9398c06e79c86c371b25a3dfbea2faa9","datavalue":{"value":"6496512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195614$E028115B-D063-48F0-B13C-57F4AD947C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2382d987c221034f356a6ae8bd223f406ffafb7","datavalue":{"value":"formal argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195614$F642307F-9097-41AD-8D2E-6E6AE7EB196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e83342ffce426a9e886c5c44a6cf92be90387e9","datavalue":{"value":"logic-based argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195614$FFF2AE00-0A35-4DC6-B8EA-8A5D8C8BA4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1afc691a43cc9ef350572b0b515e1bf116725ef","datavalue":{"value":"postulates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195614$1C466809-9348-4AF7-A170-7C6B1074E1AC","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":"Q3195614$F1014B07-DBEB-4A0E-8902-56106069B248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03b20b226cb31d40807bb255db2a8fb66deec956","datavalue":{"value":"https://doi.org/10.1093/logcom/exu017","type":"string"},"datatype":"url"},"type":"statement","id":"Q3195614$9CFC02AC-905D-4D8A-AD24-61BF378C981F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85c3f031bde09009c6da38eeda4ee2c18f19dc54","datavalue":{"value":"W1967448333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195614$4DA7D730-FEB4-4257-AED7-218E104B653C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d138a9fbadef4332869b71d7914d2effc28b8d7","datavalue":{"value":"10.1093/LOGCOM/EXU017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195614$A9B9ED62-6F86-4BBC-9BCF-9F8213E56BC8","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":"Q3195614$BCA24A45-F45D-4E3B-AB23-938B7F31E2B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfb8d7b8c7818bba60fa9575115e65c00e84d14","datavalue":{"value":{"entity-type":"item","numeric-id":5039147,"id":"Q5039147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0176f3f868a96c931664055151d9ec5a871051","datavalue":{"value":{"amount":"+0.7270592451095581","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":"Q3195614$380004B6-C11D-4524-96CE-D386CE528AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6748ca91ef5cdd273c61b8b81f4f65b0f238f4ce","datavalue":{"value":{"entity-type":"item","numeric-id":4586228,"id":"Q4586228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67958d43582eae893a407cf9b2887488b667f5e6","datavalue":{"value":{"amount":"+0.7248436808586121","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":"Q3195614$BEDE3072-7A03-4A2C-B2D4-7B33781D9B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d11a1fbc0fcaf01a2476b15f2c01e5f3ef2187e","datavalue":{"value":{"entity-type":"item","numeric-id":5145800,"id":"Q5145800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c513b02f555660b58675903d5298ea25cb7baae4","datavalue":{"value":{"amount":"+0.7248223423957825","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":"Q3195614$A5DA9C41-5C42-42D3-A61A-C121CEBE1D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0686a852fc681f164f3642cb6cfe1f5b840635","datavalue":{"value":{"entity-type":"item","numeric-id":5498682,"id":"Q5498682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714388136c8e3bac9f7a2ff0850e90a13d2a3a3d","datavalue":{"value":{"amount":"+0.72358238697052","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":"Q3195614$0F349D17-B281-488E-AD98-2A7E6CB4D2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba89ab2daa4ea7cc4db29b09f77b5959485172df","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f908701e5fb732bef9d54fa38a2f414fb5a399a","datavalue":{"value":{"amount":"+0.7214117646217346","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":"Q3195614$CCC2ECE7-461D-4740-A67F-59C00F841393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3195614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3195614"}}}}}