{"entities":{"Q4599815":{"pageid":6629398,"ns":120,"title":"Item:Q4599815","lastrevid":89875310,"modified":"2026-06-04T18:30:21Z","type":"item","id":"Q4599815","labels":{"en":{"language":"en","value":"Semantics for specialising attack trees based on linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6822253"}},"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":"Q4599815$79AD5214-A0A6-4709-8542-1ECE10F66721","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"650f55e36006f22d66545ede738a2439a72fd50f","datavalue":{"value":{"text":"Semantics for Specialising Attack Trees based on Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4599815$B2903018-FF4A-49F2-9CF4-38BC140A9058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1da4b17ba511a11ec25ec4564aa07c4054fe88bb","datavalue":{"value":"1382.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$4802D0F2-51FA-4BCB-8BC5-10DBC96BAE00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"568e855a6f97b9c6bd800c05e49d5a691ca69c9b","datavalue":{"value":"10.3233/FI-2017-1531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$B994DFF9-EAA9-41B9-9A4E-5DA04F1AC47E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4eaa863d309e75bef02a122fe31ed8bba1d86cb","datavalue":{"value":{"entity-type":"item","numeric-id":739625,"id":"Q739625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599815$98D285A4-AB7A-4D42-95CC-E18BD962CA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3e70fbcd4deaefc27ec372729ecd741b9ab8da","datavalue":{"value":{"entity-type":"item","numeric-id":395656,"id":"Q395656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599815$A1E9427A-5FE5-4A46-A53B-36258A4DB688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599815$08858CD8-6682-4F2A-8DA8-B79D01532E99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4599815$C307B64D-D2C2-4DD4-80E7-F268F5E65FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82a989f9b934880a816b11e6c0d5685fd52725f","datavalue":{"value":{"time":"+2018-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4599815$05E9DAB0-0187-4779-87FD-FE13E465B978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$0518931F-30E8-4AA5-87DE-584310E7AD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$3AE5F865-F0E8-49A1-AC53-9198082790B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"643b089500632649f70596828ab0aed78c18a55e","datavalue":{"value":"6822253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$FD36AAD0-2689-471D-AA40-8BD8DF68AA07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3125af02eefd9430a1d55f185c2fad929487fe7e","datavalue":{"value":"attack trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4599815$159C2796-4F9B-41E8-BF1A-5BC732D31069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4599815$4446BAED-640F-41DF-B735-AB18CED6C305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4599815$A7F772BC-9C66-4A93-8DD7-76FFDEB221CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4599815$AA4957A2-7BA5-4B00-B895-72267A210257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4599815$AC5C9349-073F-4A94-AD61-7D172F192C0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef4057da2bb0fc4d4ce09d18cb4183f7ce470ece","datavalue":{"value":"Q60692763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$204854B4-A08F-4128-8172-24E64D6A161A","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":"Q4599815$FC6C531B-0089-48D7-9EAB-4225CF44C597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d38624570915eedeb2774de3856911138405fa48","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1531","type":"string"},"datatype":"url"},"type":"statement","id":"Q4599815$5FF249C6-6CB0-4089-BFDA-0DD0999DCDF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"113483179475b472abb6bebcf86598cfbb473677","datavalue":{"value":"W2623597181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$84E5CF41-F7AF-442E-B04F-30B2A44FB576","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9992da1cd4d0586897c1eb7a981f2f946a9dbeb1","datavalue":{"value":"journals/fuin/HorneMT17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4599815$5A66B05A-F00D-45F4-A7C8-0C232150E9CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b52c675ddf4d6e0fd60a83ac09b19f2434d7919","datavalue":{"value":{"entity-type":"item","numeric-id":5899289,"id":"Q5899289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca3689e5f55831484cb3813443ddb86f6bd9601","datavalue":{"value":{"amount":"+0.8014531135559082","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":"Q4599815$F00F5CEE-93A1-4910-913B-45DA27AD6312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0633548ac64b2fa2ef18e809b6471d61faeb8d4c","datavalue":{"value":{"entity-type":"item","numeric-id":2218979,"id":"Q2218979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d403a308da6e9250521b9731d5360c1bfe2ec8fd","datavalue":{"value":{"amount":"+0.7444250583648682","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":"Q4599815$B95EAC37-7980-4C4C-870F-1C32A3E53681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ccacc9948101c425daabd184447cfa1a1d0db5","datavalue":{"value":{"entity-type":"item","numeric-id":5406123,"id":"Q5406123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dd155273016fced741e94707ffdce49709e535","datavalue":{"value":{"amount":"+0.7379331588745117","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":"Q4599815$0A5B9801-066B-4223-9395-AEA4FA05BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce0ec48078d5db0de0480b07518798348aecbe6","datavalue":{"value":{"entity-type":"item","numeric-id":3304816,"id":"Q3304816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9b4faaab6b709aceeaf80b868a2bba6047375a","datavalue":{"value":{"amount":"+0.7161391377449036","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":"Q4599815$4E75D252-1B30-4641-AFB5-36E97B498446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d82dde253e8dca7c6d996b3bb5b9e3167c7a33","datavalue":{"value":{"entity-type":"item","numeric-id":2509227,"id":"Q2509227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8084222f159e8749f7d43d1589c00e5883fa84","datavalue":{"value":{"amount":"+0.7153980135917664","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":"Q4599815$EEECEA24-2BB1-4FDC-B919-0CB05D9ADFAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics for specialising attack trees based on linear logic","badges":[]}}}}}