{"entities":{"Q1696589":{"pageid":1707330,"ns":120,"title":"Item:Q1696589","lastrevid":74142849,"modified":"2026-04-14T18:34:25Z","type":"item","id":"Q1696589","labels":{"en":{"language":"en","value":"Program synthesis for interactive-security systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6838881"}},"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":"Q1696589$878F8729-8702-4B2D-99F4-2B571A89131A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b2ce2aed70060bb542d583c890b42c52f9595bf","datavalue":{"value":{"text":"Program synthesis for interactive-security systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1696589$EAE4E3E6-1095-4919-ACED-0DE6455C72A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c76c8acb5f2bd793e50bb135188033a82a786e9a","datavalue":{"value":"1386.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696589$24364040-F1F1-44D7-B242-4D58B2984E5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90445a82981b6e7b2f2657e880bf9e7e26c8ddbb","datavalue":{"value":{"entity-type":"item","numeric-id":1696588,"id":"Q1696588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$4813657F-D2B4-4DE1-B25B-283BECEC3086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97dc12cf1fb5f9d758fcaa5016f946da2f25eba2","datavalue":{"value":{"entity-type":"item","numeric-id":375473,"id":"Q375473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$BC21484D-BEED-41B5-8E50-B15228A1AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$D5820EA2-62AB-4C4B-9A74-DBC287119563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$130FA89E-C786-4933-801E-3C028624287F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$855E8DAB-461C-4B90-8E97-54A2195FFC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05d7846712e272ed872436847e0975767a3ed77e","datavalue":{"value":{"time":"+2018-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1696589$7FD8B553-0FA7-4C9D-92FF-65E39343FFF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"520d2d073920b54af71fbec9bc2abdd4460bb0ec","datavalue":{"value":"https://escholarship.org/uc/item/8h27h8sb","type":"string"},"datatype":"url"},"type":"statement","id":"Q1696589$9C1E0B2A-61E7-4E1B-9F33-5C8DC7AFCAB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696589$126B0AF8-4D27-4D8D-A6FF-9D8DFD49C295","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ca8c84928ab7fff82f6ef639103b4e7e3eebfdb","datavalue":{"value":"6838881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696589$AE50A0CA-7CC7-442C-95B1-A9A58783C2FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35932420c57e81deee91d49171fd875f50cb478","datavalue":{"value":"computer security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696589$B06FBC52-A8EF-4DF0-BA32-E10A4F92F93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696589$75ACC15A-8784-4F8E-BE80-E41DC9ACAB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696589$174317D8-F746-4B28-9B4B-B59046FBCD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967bc120c96b897d4c18218c9b1462d371d77694","datavalue":{"value":"capabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696589$2C32D97A-516D-408D-98A7-96F8BDDA9FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837b2b20c0be6c09aeb222a3ddbba06dc5e42a7e","datavalue":{"value":"secure isolated regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1696589$B1A7547A-8D84-49D1-A68A-1DF833C3B768","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8569641146a557196dd9b187a7838490ade417be","datavalue":{"value":{"entity-type":"item","numeric-id":34861,"id":"Q34861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$80DFD2D1-0DA0-489D-BEAE-5FC3874C01E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7abe657e72f3daf8eaff63078da88ac7bd19c9","datavalue":{"value":{"entity-type":"item","numeric-id":2368953,"id":"Q2368953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$FE86C616-3732-4D01-B5BD-0A3F19DCC9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$6C651783-D508-41C4-BC9C-62670C48A4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a83681413983b5c1cd346b7aeccc929ffc09104","datavalue":{"value":{"entity-type":"item","numeric-id":5408416,"id":"Q5408416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$90348A85-F04A-4922-9EED-53786B920021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002b8b0228c656d63cc771cafa4da2917ced7b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4085248,"id":"Q4085248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$75B03CD9-0B8D-4990-A66F-5EF7ABE23318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3928a161c5acea0e559262f698432a73aebf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":983160,"id":"Q983160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$C4A2B2CC-3A82-4B5F-9602-36161A8FB1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb43f426ba479be24e9ec30169892dd5239008ae","datavalue":{"value":{"entity-type":"item","numeric-id":5716562,"id":"Q5716562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$1F97B4F7-9C9D-4190-A189-D4D85C649AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5fbffdc9383df67bf634c2e492d87f4bf0d9e6","datavalue":{"value":{"entity-type":"item","numeric-id":2931814,"id":"Q2931814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$C4C17FB3-F9BB-4AC2-AD84-3BA0EEE1C87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faedb5eb035340aba27d850f49f8ac4b5191800f","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$4BE4DB6D-042D-45EE-BB19-6CF76028402C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3863c024f20700840967968e5b0a1ab9586867d","datavalue":{"value":{"entity-type":"item","numeric-id":34861,"id":"Q34861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$4CCF38FF-4A1D-4B99-BF4C-18E22965376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2499c212f9173f7802c7e2ae940591c803036f","datavalue":{"value":{"entity-type":"item","numeric-id":32413,"id":"Q32413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$4DCC991D-6C75-4B91-8413-98B3978A6DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$89D6A252-D8A6-4DB8-A0EC-941F99011F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee9a48b5cce931d708f1784edbde19a102fa5b62","datavalue":{"value":{"entity-type":"item","numeric-id":34865,"id":"Q34865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$96A95761-F946-4064-8094-A7D57CB4E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5b88c96f0a019d126ec06023861dc3d7c5d3900","datavalue":{"value":{"entity-type":"item","numeric-id":34862,"id":"Q34862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$55A552CE-2BF9-4582-8398-9920FE91E0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659124bde69f12025ecca29c0329df3ade170fba","datavalue":{"value":{"entity-type":"item","numeric-id":34863,"id":"Q34863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$C1142F4C-0190-49D6-8BF1-2DB0D0FA537A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"baa0ea6f2ddbc05ba0918f17f46c824ceb536c77","datavalue":{"value":{"entity-type":"item","numeric-id":34864,"id":"Q34864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$93A8C3F4-86CB-48DD-BEEA-D6A1AB937546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17b6bf936b27bf52d41c01b7a092635fe801ec6c","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$97BE0D36-9004-4361-AF1E-0AB49CC4D036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e5ae1056d31213683c6afba2bd4f36bb9b752ad","datavalue":{"value":{"entity-type":"item","numeric-id":34860,"id":"Q34860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$B306161C-035D-423A-A7BE-27E15D82A00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8e23a12331c59ecb61785298b8f21326188243","datavalue":{"value":{"entity-type":"item","numeric-id":34858,"id":"Q34858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$29029299-6F71-4A80-A91C-5C3649E664BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08fcaedbe783c0f3fac19ba1ad1e0b289a24fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":34859,"id":"Q34859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1696589$2BBE5ABD-2450-4B2A-B976-08BDDE359EAE","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":"Q1696589$78B7370F-B60D-4A38-BE14-A7B3E9A04F8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4617585d490078a41a71a3ede357441a5a0ea6c","datavalue":{"value":"W2755381580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696589$4D3C6FD5-57F0-48A7-A3D9-BEF416AA8B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb57b96f4a305bb1e4684c7254ac15b513ac961f","datavalue":{"value":"10.1007/S10703-017-0296-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1696589$E28587EB-ADD1-408F-861A-5F98F50CA713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4fbcc603a664501080a001e8ef417bbb45a249","datavalue":{"value":{"amount":"+0.7090356945991516","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":"Q1696589$3C93F10D-4519-42DD-A07F-C94BA7A97D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1047f0af17db3ddf4e0b51230c359bacf7209c52","datavalue":{"value":{"entity-type":"item","numeric-id":832155,"id":"Q832155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d3f288401275ef18dfaee349c2a85a78ee58ad","datavalue":{"value":{"amount":"+0.7042575478553772","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":"Q1696589$C5AE100C-E63C-4C38-97F1-9BB708BDC158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f21a4bce8b5aad8b2c77731db6e587ec6150e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164214,"id":"Q2164214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81845eb44da125d4e991f46f6b4c5aa8eca30729","datavalue":{"value":{"amount":"+0.7033060193061829","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":"Q1696589$E615856C-DD88-4E13-AA27-0A54E968E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fb59a5efa31479e08d6ed1c301805e6732c43a","datavalue":{"value":{"entity-type":"item","numeric-id":2151254,"id":"Q2151254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3a705cb5fb474914e59a97e9287921ea6ca43c","datavalue":{"value":{"amount":"+0.7012202143669128","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":"Q1696589$10B7E34D-1166-451B-ABB5-D5EC087FF5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f7a0e16a9f569fc744c4c6428a565462d3c670","datavalue":{"value":{"entity-type":"item","numeric-id":3296340,"id":"Q3296340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19da725adea0a76d681f2b8c85b8168528214216","datavalue":{"value":{"amount":"+0.6999155282974243","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":"Q1696589$1AEF173F-42C4-4C8E-AA66-7D2FE3DFC006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program synthesis for interactive-security systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_synthesis_for_interactive-security_systems"}}}}}