{"entities":{"Q6536130":{"pageid":14147273,"ns":120,"title":"Item:Q6536130","lastrevid":103737959,"modified":"2026-06-06T08:03:30Z","type":"item","id":"Q6536130","labels":{"en":{"language":"en","value":"Verification-guided programmatic controller synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827808"}},"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":"Q6536130$97D9A7A5-2728-4713-950F-9218D17421E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a5a70d6cbd8b697f52d7a6d3045207f810cb8e0","datavalue":{"value":{"text":"Verification-guided programmatic controller synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536130$3EB43284-189B-4AC5-99A9-1EDCC5684ABC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"332968270ceb760b80b3a28b834e4cf2aa8b2c27","datavalue":{"value":"1547.68457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536130$98BAA746-DD7A-4470-B28A-F360BFDFD160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e92d87db1ca297abaaf31980162184037e20e488","datavalue":{"value":"10.1007/978-3-031-30820-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536130$E6680367-31C6-4862-B070-25E297475F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cea7ba10d2d2df2174cfc9cad8658b53dd9b6748","datavalue":{"value":{"entity-type":"item","numeric-id":6536128,"id":"Q6536128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$7CC811DD-C9F2-4721-9F0B-C24C083B2E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f004bd8c50101ade31cc3e656fa6beca0da1c542","datavalue":{"value":{"entity-type":"item","numeric-id":6536129,"id":"Q6536129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$EA9D1CC2-93E3-4672-ABAA-DB8BC2BBDE2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-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":"Q6536130$A37A55DB-AFCD-4D9D-9E2F-EFC68E16AF6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536130$9529348A-5BE9-410D-AF5C-F6C8B6C3A929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536130$D43FE403-51BC-43FC-8CF4-053FCF911090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536130$4E656F12-F65D-4447-AE57-AB10C805F9AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"385cb9fb5076aae0800e65cc95b46c518a6ff28d","datavalue":{"value":"7827808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536130$D7167B92-A662-45CB-9DE8-492773FAAF09","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":"Q6536130$27A219C6-D4E1-4790-A1C5-1C1D669503D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d0da293230dc6950e9a47bec4859bc56b6fd48","datavalue":{"value":{"entity-type":"item","numeric-id":5223788,"id":"Q5223788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$485EB9A2-9A46-49E2-827D-0F8BD40C40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bef7da6f721acd6129927d43edfe7dfae2ccb7b","datavalue":{"value":{"entity-type":"item","numeric-id":5239232,"id":"Q5239232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$9B932B2D-EB87-4638-9CFE-C4BDAE2C6D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920d9af4afdc074b8130c16970be7ddb77ed6c32","datavalue":{"value":{"entity-type":"item","numeric-id":3122098,"id":"Q3122098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$D341C495-B307-4A4A-861F-080AB7705E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebd92314f06a222531560c253ad541ebcb87206","datavalue":{"value":{"entity-type":"item","numeric-id":6091337,"id":"Q6091337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$BE54A00F-4D5D-41AD-A273-7D2EBDD66A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbd0823fa5b5a36751278925bae4f67a5044c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$AEB8BE71-4066-4A6F-8CCF-4D754B985516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adaabe77fae7e58bd068065a122d5510bf1aada","datavalue":{"value":{"entity-type":"item","numeric-id":1702927,"id":"Q1702927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$EB6D7930-A018-4B51-8A78-298AB5856894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f0633ab1796d017ff362ce5c69c201e296623a","datavalue":{"value":{"entity-type":"item","numeric-id":5239231,"id":"Q5239231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$80833BF9-7443-4BDC-992E-EC097C1715E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a39b8346a701dca94fccc131df022344915ff","datavalue":{"value":{"entity-type":"item","numeric-id":5918375,"id":"Q5918375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4674a333fc5734ea121bef7148f1a2b836d576","datavalue":{"value":{"amount":"+0.7455510497093201","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":"Q6536130$7E2D94AF-6203-4458-9AD2-2F2A4A8FEEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c0d9bbb2e84e54d5d77c51d76b08cf8b960bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5918787,"id":"Q5918787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e2afb3d4dd1bd02cbba2cc3beae3be99d3f670","datavalue":{"value":{"amount":"+0.7453418374061584","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":"Q6536130$DD66F71A-38CC-4CD7-A6D8-2A284DA294B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76997d519f32b54cbe96eb309be9412deae0e99e","datavalue":{"value":{"entity-type":"item","numeric-id":2038085,"id":"Q2038085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831414ab28c5aa6fa0f5c6bbe675c1d2cb49585f","datavalue":{"value":{"amount":"+0.7117996215820312","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":"Q6536130$A8728F9B-D61F-4D3E-BD1A-4FC40942D92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929c50a7dbb0add8c99e9e2e2992d1548609923","datavalue":{"value":{"entity-type":"item","numeric-id":2303883,"id":"Q2303883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f4b583974fc50c42626a2107a49f4968a9b21f","datavalue":{"value":{"amount":"+0.7046950459480286","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":"Q6536130$BB700E0C-4272-4A3D-8767-03C48232C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e95d6088a6b758e9c4a4496a7c94d8586eadc61","datavalue":{"value":{"entity-type":"item","numeric-id":6535337,"id":"Q6535337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd41287a861f5ea48c485bf9a33cf60b0b4481aa","datavalue":{"value":{"amount":"+0.7038683891296387","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":"Q6536130$9220A6FB-A5F9-4544-8FA7-BF9945085D52","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536130$EFC50B30-443F-4B7F-AF0A-A2D907F4F887","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification-guided programmatic controller synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification-guided_programmatic_controller_synthesis"}}}}}