{"entities":{"Q2303874":{"pageid":2314617,"ns":120,"title":"Item:Q2303874","lastrevid":53683421,"modified":"2026-01-25T13:30:22Z","type":"item","id":"Q2303874","labels":{"en":{"language":"en","value":"A symbolic algorithm for lazy synthesis of eager strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7177457"}},"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":"Q2303874$DA3330F1-43B5-4B1C-A0F3-7CAE66D8E1EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea1e8e0eeb7ea9e6408b4cae7bb9eec5b2124cf9","datavalue":{"value":{"text":"A symbolic algorithm for lazy synthesis of eager strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303874$D6F47615-A4AC-4DE7-9A36-80C5CD5DE2AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc05f9e63f3b59d5c09c32fdcd43d4882c6a5629","datavalue":{"value":"1435.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$3C46EA1A-C5A7-4B01-B4F7-56D6CBB4B759","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":"Q2303874$71A470ED-90EA-48D1-811E-4C1215CAB959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480b1dbc287fa43c1ad819d274e160b81c309bc6","datavalue":{"value":{"entity-type":"item","numeric-id":784147,"id":"Q784147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$2D36C85F-0434-4D5D-B6FA-07F4D3EE7AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$C163F72B-8BF6-4501-8E15-A539DCE7AF6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ace806cab6bccffe2dd3b0bf0eac605327f868","datavalue":{"value":{"time":"+2020-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303874$84271B10-8C0F-4413-88A4-7AF51317008E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$9F560931-9566-488D-B122-78EDD1675958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$EBE9F467-C2A0-490C-B9CB-1C7395B17080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$0D1065AB-1CB4-485D-8164-51152D07E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$BA043A6B-E670-4B6F-9C19-F2F3E2DEABC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c53eda94d88f4ef276899c278f6ee135c16d92b","datavalue":{"value":"7177457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$BFC7024F-644C-4BD3-B611-C5F5CEE3953B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$8D0DAF21-D9B0-4D4E-BD3A-02D0DCDA0FE6","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":"Q2303874$87B84FAB-60EC-4BD3-A4AB-0671B22022CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e36a24b55a09d35d91c3c5ae3e001a5f4c8f974","datavalue":{"value":"https://doi.org/10.1007/s00236-019-00344-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303874$7898A3F3-E73B-4787-8CBF-4F43A14122FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e183d0c64c6317cf152005a78f8b7cbd0f1d08d1","datavalue":{"value":"W2978812986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$78DEB621-CF4F-45EC-8824-D9179654558F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767027371f47351446d56e4b3b6a09eabc8be672","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$F7812F70-3D1A-4770-B6D9-B57BB69E4A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$1C31DA11-8C19-44B9-9254-1EA9D3922173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$455BA8AC-443B-421A-85BB-232ECFB8D734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$C9A8037F-877D-428D-BF24-6057B018C0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b471e81978679b9a69ab1d981741cde62e4fd9a9","datavalue":{"value":{"entity-type":"item","numeric-id":5606989,"id":"Q5606989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$2AB249BD-372B-4D6C-A913-FA812AFA003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702f164b710b34adee69b0aa6937212bcccd3a9d","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$8550ABCE-205D-48F6-AE05-0E410B39F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42007c3c7a01cb180978309f4a1000ba4cfeb253","datavalue":{"value":{"entity-type":"item","numeric-id":2986967,"id":"Q2986967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$E6BD2395-29B1-435E-8C51-064B3D55FA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$AD73C742-3673-4D59-9B40-83DD8D8BBE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df398e3a53c79af1d031e755ed11a5588d62b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$179D6939-7702-4E3C-9B04-B93F913B4F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a244e5bb6de1f5a0e4727201b0331ebe9f7a3136","datavalue":{"value":{"entity-type":"item","numeric-id":2303874,"id":"Q2303874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$FEE07933-12D3-4364-B926-B39A75B994C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5feb4c46bee8b8f76000d9de8564377e360b7","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$EDBED3FE-9DC0-43AE-AF10-6D4A45974111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72602412fc4843dc076fcdd0c6befe70a32a36eb","datavalue":{"value":{"entity-type":"item","numeric-id":2272917,"id":"Q2272917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$F568BBA3-C12A-4583-8DC4-907AD74ED8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086cea8523ed1174345784fc14ca4c7750412bde","datavalue":{"value":{"entity-type":"item","numeric-id":5079759,"id":"Q5079759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$4BDDDC7C-86E1-4FD6-87B4-79DDCA662DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$1A0A10C3-6321-426E-8256-6CA7C45C58DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303874$FAB718FB-4E1B-48AE-B73C-03E09894381E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d0686819bf60f39085ae1d62d1f9243ed1436e6","datavalue":{"value":"Q127172869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$4ECBFC32-E619-4AC9-8C73-E8A44CF69090","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04d64484b98c4a24d307965cc73d19fd7a643007","datavalue":{"value":"10.1007/S00236-019-00344-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303874$C80FBAE1-8D02-4BDE-B752-E64BFDFC6671","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95950dd79cb94e385c3375c7c60fa667cd2cc494","datavalue":{"value":{"entity-type":"item","numeric-id":3447698,"id":"Q3447698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5630ec77510e4bfab310d5bb7388a8796b79bf0d","datavalue":{"value":{"amount":"+0.7541270852088928","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":"Q2303874$BD82DB95-C20B-47C0-B149-EAFE6E12A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c26ffdc2109ca239d58fa13b3b0ea4479991672","datavalue":{"value":{"amount":"+0.7482086420059204","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":"Q2303874$33BCAF15-15D9-4120-A6AE-50A89C943F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8ed4dcaa57c1472d5eb1febbb31c1bc9bfacc1","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bbdefaa10ad342d3d81d7b54ca82e748abb0ff","datavalue":{"value":{"amount":"+0.7425971031188965","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":"Q2303874$F2FE3F4A-7B5A-480A-94E2-C1795FDB154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5380d218e1869ae94540cbec9cb6f721bb624a68","datavalue":{"value":{"entity-type":"item","numeric-id":2636511,"id":"Q2636511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1d1335b6d532f7edd29faff265bfd816b78b74","datavalue":{"value":{"amount":"+0.7368184328079224","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":"Q2303874$544EA4E9-67E7-4457-93FD-B3A3DDADF9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b18ba10a8f5acd460c746708e553ea1ac263efa","datavalue":{"value":{"entity-type":"item","numeric-id":5452725,"id":"Q5452725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77439cb384686b438d834e08cc2315d361350190","datavalue":{"value":{"amount":"+0.7331678867340088","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":"Q2303874$DCDAF71F-14DE-47AE-8BEB-29FB1DFD1B00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303874"}}}}}