{"entities":{"Q5404478":{"pageid":7434052,"ns":120,"title":"Item:Q5404478","lastrevid":75596665,"modified":"2026-04-19T21:06:03Z","type":"item","id":"Q5404478","labels":{"en":{"language":"en","value":"Parameterized Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272600"}},"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":"Q5404478$CFF3D239-7A87-4F5C-8CEC-2C6861424B6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0350cd214de5d5f3ffd928b29fda99af4554e0a4","datavalue":{"value":{"text":"Parameterized Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404478$A4CEE8A5-5EE6-40CF-8BDE-9699CCA34973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7138128508bda3385a9c05742a8a4be62e898e5a","datavalue":{"value":"1325.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404478$74CD65C5-B0CE-4B68-8FC7-50C4F7CE688F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5233b353d4bfcb42c60392fb764298661ecbba2","datavalue":{"value":"10.2168/LMCS-10(1:12)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404478$FDE38834-C965-4E72-BD42-FC251C067072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404478$83655B9A-2FAF-47C2-8DD3-253276D47B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404478$2CDDCBE5-4A72-4A2B-8731-94C1430D8C5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404478$4FAD68AD-1EDE-44C3-98EB-7596CFD1365B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404478$84E27DEB-9B99-4565-8271-62DB3C850649","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404478$F1359291-0637-4E55-A554-9CA961BAA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404478$B06D7229-EDCB-4248-9A2B-5344CD840370","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaf7233426044249326333d962fde5933e70c079","datavalue":{"value":"6272600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404478$FE5B323A-BF15-4CF6-B090-CDADE1380F00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404478$6EA8981B-BCAA-46A8-A64F-3EAD32F53292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404478$479A6B3B-E3B0-46D1-9085-D99E3DA38443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404478$A2CB094F-522D-4FA9-9539-F0CB227F7FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7502229eee5329a2aadd175b41632eab38086e3b","datavalue":{"value":"parameterized synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404478$616ECC69-37BB-48AD-BD3F-EB2361E90AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404478$17956C94-6A12-4CC5-8A6B-95184F62DDD7","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":"Q5404478$C6D2D4DE-3E9B-4DFF-A43D-B747512D1493","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe8e6246e83cdc23e219500df47755f229390559","datavalue":{"value":"https://doi.org/10.2168/lmcs-10(1:12)2014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404478$DA6F1403-4E6A-465D-B274-6F9B0ED6D56A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f331964e44e86c9e769e091cb2a3156b89330ec4","datavalue":{"value":"W3038004135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404478$B4EA9BDA-288D-4D32-855E-14BA25E80E9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$FB2F41B3-8508-4A01-832E-75708D6B5C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736c8fdf68c4ce06cc4443cb26dd0619616fbe25","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef020686a0a00103dfea379f8f345171153bbd61","datavalue":{"value":{"amount":"+0.9219247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$47F3D195-B247-4838-A41F-4E0FBE1ABF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa48d0c472ce49b18d59ef63f604850f01a212a","datavalue":{"value":{"entity-type":"item","numeric-id":2281626,"id":"Q2281626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3cd597680ec407a3d5620abfc3beed158f3950","datavalue":{"value":{"amount":"+0.9049334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$CD72FC68-A2AC-4DAA-892C-FB6B5B1FF31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffda3c4b5f233bc71b2adb3f717e5fc909b23349","datavalue":{"value":{"entity-type":"item","numeric-id":5134273,"id":"Q5134273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819e150d9981a9b5e42a2f20fcd91eedcfc83f96","datavalue":{"value":{"amount":"+0.86528295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$532F2414-FCB8-4EEE-A604-93FE8C03B4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b438d1d14fdf8514c014625dd81f33165fcf3caf","datavalue":{"value":{"entity-type":"item","numeric-id":2105425,"id":"Q2105425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a07a6902e22d76ebc9ddac3fa049f33830341a","datavalue":{"value":{"amount":"+0.85576385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$D2F54A33-7398-4F45-BAD7-56F7E2DCD2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cf4502dc91ffbddb18340679fabee068fd703","datavalue":{"value":{"entity-type":"item","numeric-id":2988986,"id":"Q2988986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3158a0311d1a898cb86f8c5ec29fae12d1dff68","datavalue":{"value":{"amount":"+0.85287094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$DA3255A2-174D-431A-BBF1-FF4C0AF70A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f7ed774435616ba48164d5c59ca92f0807c3b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1342584,"id":"Q1342584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09b9bc81c8878910556fffde7aff6517aff9d3f","datavalue":{"value":{"amount":"+0.8517309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$996E1E31-58BC-492E-8CE0-07F2B8E8B5C3","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":"7835ef58ca06174c6382429720169f87190ce293","datavalue":{"value":{"amount":"+0.8458213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$E5E22EFA-837B-43F7-A606-DC30C01A42D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f591c51f6742417a63551937e284c427a539474","datavalue":{"value":{"entity-type":"item","numeric-id":4995362,"id":"Q4995362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab189f7f8360f454aa04fa356946004cf108be5a","datavalue":{"value":{"amount":"+0.8448365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404478$EE8A8EC9-2DAD-4AC8-AAE8-AEB2C4B4172C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized Synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_Synthesis"}}}}}