{"entities":{"Q2986967":{"pageid":2997691,"ns":120,"title":"Item:Q2986967","lastrevid":52805027,"modified":"2026-01-23T13:19:53Z","type":"item","id":"Q2986967","labels":{"en":{"language":"en","value":"Resilience to intermittent assumption violations in reactive synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718282"}},"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":"Q2986967$5580510B-898A-4C20-8A1B-BE7669C2468D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b29856256852d633a7ec8f49275c69a1d1a9ec9","datavalue":{"value":{"text":"Resilience to intermittent assumption violations in reactive synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986967$D2ACFA65-9702-447D-80A5-665C11302ABA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79edf6371f8fa6130bcb5ea0bd8b877a5ade0266","datavalue":{"value":"1361.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$0EB5E715-417B-48A0-B287-1E076177621F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e5be429ef26a940ecff152ab67cfae15d2ca105","datavalue":{"value":"10.1145/2562059.2562128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$574ACD8C-66EA-41FB-8F7B-3CC28155528E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$9038EE0A-EF5C-469C-BDFF-85D64277B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$BE0EF770-477E-4541-B54A-907A5551CA11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a66987d483cf498cbb54fa8b0939eb16d8834895","datavalue":{"value":{"entity-type":"item","numeric-id":2986942,"id":"Q2986942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$25899BDD-F5C0-475F-A128-88FA9AD3954E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986967$1F39A819-4107-43B2-9580-AC7815DEDAC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$8B2F6A09-FBA2-4DC9-9E35-894AA3B188E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$7F696B93-8CD1-43B5-8CC5-A3780217049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$4D6434F6-B8ED-4C81-9790-A70400B3AC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$09AC16BC-09FB-44EA-A336-A4B7D862C9C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be6e4c6453632ff0c7d7fbd1961d745e7d564a54","datavalue":{"value":"6718282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$C27DA13F-5BF9-4878-8451-877F8230EC0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a080763e77f93ee7ed3e475056cb910565b86c","datavalue":{"value":"error-resilience","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986967$29EB3918-AEE6-4409-ADB6-955A1DAE5C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986967$70F7B1B3-9299-42EC-8570-7747EF7298F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986967$95E85C3D-E29B-4BA6-81D2-C746EBCEDFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed5a24506f15d797a4172aa6fe3139dd68b11138","datavalue":{"value":"robot motion planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986967$A20A4A0D-6EA4-469B-B456-D20DBD0B7C3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$DE165328-D512-46BA-B425-A93AD4A350E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$35D41C7A-FBFD-4919-B034-BDEAAE5CA3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$F12B7E1A-5C2B-4283-BE49-3D46DB61DCFF","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":"Q2986967$1E5CE8C3-92E2-490C-8490-5042C612F1C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"758ac2fb3724678f9ed31f7125c5f461ae9285c0","datavalue":{"value":"https://doi.org/10.1145/2562059.2562128","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986967$D9CDF9A5-DDE8-470C-A97D-4C9595AAA85D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9e36d4963669ec1c5c14d6ec443efeff0db0b5f","datavalue":{"value":"W2080915207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986967$7003B228-2CA4-4FEA-80B8-2A897B32A482","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$42727030-75BF-4286-B688-F2D24A10A3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a6d9d4c005892aa7b849b3d059eda0ed03aaab","datavalue":{"value":{"entity-type":"item","numeric-id":1298283,"id":"Q1298283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$C419BBC1-C036-4608-A049-10A97461C88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad50836f62c74ebfef5aac7467da42e2b2b5283","datavalue":{"value":{"entity-type":"item","numeric-id":5267136,"id":"Q5267136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$C9C05EB9-0637-4717-8980-B576F305FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eba0eb74965bba287b4a3647588ff9b1b59f02","datavalue":{"value":{"entity-type":"item","numeric-id":3987118,"id":"Q3987118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$C7CC2422-166B-4BAF-96C1-12120B7A9DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bf8ca5f255dfc9ef274c7c13564bd8b6dea87","datavalue":{"value":{"entity-type":"item","numeric-id":4393080,"id":"Q4393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$0F5F138E-B8CB-49F1-9806-24E3CBAB8624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84654fe3761ac46000e58db2921e5e9255c79eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4974774,"id":"Q4974774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$89C4888E-73A4-4421-9E98-E15B1D092A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d4a06338875ce2a23e3113be67b69b3915696","datavalue":{"value":{"entity-type":"item","numeric-id":2985874,"id":"Q2985874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$A0E2B3D9-26F0-4D43-BFC1-2CA7B6723BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b420ec1bc0791541a1b349455776f7181d468697","datavalue":{"value":{"entity-type":"item","numeric-id":1977035,"id":"Q1977035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$2893D7F9-BD51-40DC-9538-D48AAEA4A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c4803d00b49ce453c60909b7af6e4e230ddd52","datavalue":{"value":{"entity-type":"item","numeric-id":361070,"id":"Q361070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$8F8A7BE9-C562-4167-8F99-D4716DE4B6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986967$406E816A-105D-4554-97E2-5C4B723EF63D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78496980735ccff14bd261c79259d31afc811b53","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4aca7a1af74d090909cdb1410d329930c74d59a","datavalue":{"value":{"amount":"+0.8245247602462769","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":"Q2986967$C5BAB9C8-DD9C-46F8-8577-1F9A26220401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3424d20a7541e7d7d90fa7905f512b37d7a9944c","datavalue":{"value":{"entity-type":"item","numeric-id":3541016,"id":"Q3541016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3542000de1fe1fd667cc6376089651bf8c46fcd","datavalue":{"value":{"amount":"+0.751193106174469","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":"Q2986967$E227175E-EC03-49EE-8C7F-A950D8EBD20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd0f7683b3d15685c10ba502a1f9a9acd9289f4","datavalue":{"value":{"entity-type":"item","numeric-id":3460581,"id":"Q3460581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e6f84e2a67f496d64ae24b937473cd4220aa2a","datavalue":{"value":{"amount":"+0.74372398853302","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":"Q2986967$E8B87621-25C1-4647-8ACC-D2A7577AFC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277a7139dbe0de60fe946ca9a47ad9e795d2e841","datavalue":{"value":{"entity-type":"item","numeric-id":5357697,"id":"Q5357697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509e46384eff0a3863e1c30d73eebe02683b53ee","datavalue":{"value":{"amount":"+0.7157582640647888","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":"Q2986967$2A87EF69-D736-4A8E-B493-4D45B3CE0A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3520c8a5411a497c7873d8d193e0349e378a397f","datavalue":{"value":{"entity-type":"item","numeric-id":2303880,"id":"Q2303880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e07a2eb510b292065fba44b1869632f4a117fe","datavalue":{"value":{"amount":"+0.7131275534629822","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":"Q2986967$45BD8F02-6B51-4772-8953-10D5200FA76C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986967"}}}}}