{"entities":{"Q1404293":{"pageid":1415033,"ns":120,"title":"Item:Q1404293","lastrevid":67363644,"modified":"2026-04-12T17:07:14Z","type":"item","id":"Q1404293","labels":{"en":{"language":"en","value":"Program synthesis from formal requirements specifications using APTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1968844"}},"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":"Q1404293$3F017463-2899-46B1-8558-74DD8243AA1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59b1778999a61182b011f91fa29c2cf0993b20eb","datavalue":{"value":{"text":"Program synthesis from formal requirements specifications using APTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404293$49D4DF84-FECB-4587-A04C-392676A1221F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aec9e335a4e999e1519d5965c15db75b30f84357","datavalue":{"value":"1038.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404293$313ED90B-61F3-4986-B75A-AD1050FE3A4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3077d029c956d8ae7ac192754bb5f53f3d255f8","datavalue":{"value":"10.1023/A:1023072104553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404293$D9F8DB6B-D33D-4A7D-99AE-A25E0D4FD100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b997dbd900db258c921c8fb00f9a3f59efd6e4e","datavalue":{"value":{"entity-type":"item","numeric-id":633295,"id":"Q633295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404293$90B0EFEB-C42E-4710-879C-6B49CF99ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"494f22843e47887330b0ad777c9100ef7019ae07","datavalue":{"value":{"entity-type":"item","numeric-id":633293,"id":"Q633293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404293$22C99E4E-C6DE-493A-80F1-61EFAA7838F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404293$34242D09-CED2-4C63-B2D5-DC71449D1505","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582f899fc79c44b21a414a56c8b1e2a11284e885","datavalue":{"value":{"time":"+2003-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404293$9D87A1DA-1924-40AB-B3BB-9EB9D5020597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404293$6DE233D1-5428-4DDE-8CF0-F73A1A373379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c80b62c968ceb07d7804b2afe0c1472d2434ab63","datavalue":{"value":"1968844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404293$030D3F2D-5C8E-45D9-9606-B3F0C323425C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$2ABFB060-07EA-4B91-B122-B5B0DA926670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8bc65030d1ed23b9862c5c61f65ef0b1b42763f","datavalue":{"value":"code synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$C6B5C417-7C71-4F29-A57A-321A11F7831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683250f8d1315ae93088b278bf031aaf52ba765f","datavalue":{"value":"APTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$34B3C31F-35A4-4045-AE5B-2E8D7FBEFAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb0721f2825a8c6a62dfd987405ddfcba360703","datavalue":{"value":"SCR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$E924983E-C29B-411C-8EE1-0AB2AB149483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d737b88cf19cd013c7b8dd0706657d14e4ac4c","datavalue":{"value":"requirements specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$F393FBBD-F5BE-4FAB-ACFE-5C0C3748F008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$BD46625F-B9F9-46DD-BB48-ECD5F780B77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404293$03E1ABCE-5262-40A0-B7B8-FE472874510F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6b29ece733eca165d3fe96eca18b072d2b1513b","datavalue":{"value":{"entity-type":"item","numeric-id":19003,"id":"Q19003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404293$7FCCC212-5CF8-4CC8-9265-D6A5E288BBA2","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":"Q1404293$489D5E93-BE05-43A8-9A9C-C2076C5E38E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb675f955ba5c7cf398dfd1c44dffd7bf9f1770e","datavalue":{"value":"https://doi.org/10.1023/a:1023072104553","type":"string"},"datatype":"url"},"type":"statement","id":"Q1404293$81702D77-2BAE-4CDD-944A-C42675B0204F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53be7638dae8715703f65f0f6c8a1b70f5cf0511","datavalue":{"value":"W2161216820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404293$684DC2BC-418C-4037-ACD6-85D8DA8F5A1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750cc1a42ad0287899f8ac4b7dc422627623575e","datavalue":{"value":{"entity-type":"item","numeric-id":1899896,"id":"Q1899896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b78adf009cfb108c100af650ffadf8d49ad8494","datavalue":{"value":{"amount":"+0.7474705576896667","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":"Q1404293$DDDEBF83-5A2D-4623-B21E-B7E6F1CD499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc359892322b66d622b4eafc9c8d8866ad99d65","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c6ee41e50c7ff61d72be6812f477a64c419e70","datavalue":{"value":{"amount":"+0.7441225051879883","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":"Q1404293$71DD03E0-6EE0-4C21-9A1A-1A9BD455BE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf46f319d63f9e0789f735f4c58c45d4094b2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3780492,"id":"Q3780492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cace8a2ce87ce37554eccae0234777af2cae25","datavalue":{"value":{"amount":"+0.7388738989830017","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":"Q1404293$3EEA919C-5591-4A8D-A8B4-DB4A9A485A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a2418c01d7d4c5a06cc6efa211da7d51b094d","datavalue":{"value":{"entity-type":"item","numeric-id":3814781,"id":"Q3814781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5bb9bb4505d3953802ca45ee3342450fe3d02f","datavalue":{"value":{"amount":"+0.7191322445869446","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":"Q1404293$5EA9EE0B-F60C-4932-AAA0-DCFCCFB498EF","rank":"normal"},{"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":"434f4008eed13ca0384b89a00682fd3f6f3b9a2b","datavalue":{"value":{"amount":"+0.7169117331504822","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":"Q1404293$68CB2264-448C-4CD9-87E8-2B9AA395376C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program synthesis from formal requirements specifications using APTS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_synthesis_from_formal_requirements_specifications_using_APTS"}}}}}