{"entities":{"Q2303876":{"pageid":2314619,"ns":120,"title":"Item:Q2303876","lastrevid":57832767,"modified":"2026-04-02T17:40:19Z","type":"item","id":"Q2303876","labels":{"en":{"language":"en","value":"Reactive synthesis with maximum realizability of linear temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7177458"}},"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":"Q2303876$74AE06DD-FCCA-4DEC-BA11-47C0DFAA1889","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8592423dbf2a162d11d2c4aaad4e4763bf82199b","datavalue":{"value":{"text":"Reactive synthesis with maximum realizability of linear temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303876$63478777-147C-41F8-B3A3-383D53C17EA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1dc0ba307a851fbb23be2054a8f2a632480b6ee","datavalue":{"value":"1435.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$72514A03-EE55-4CF4-89E2-56080AFCC455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$0183E237-226E-4F96-A615-00E66C53B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73e30dd2d5091b95aa8460bfaa7d5dc9fc76f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2303875,"id":"Q2303875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$F73C566D-B5B4-401D-ACA9-534FB8184DE1","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":"Q2303876$D1563760-FC15-4CBE-BF69-CA2420C5790F","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":"Q2303876$316776FE-8342-45F7-85E8-B916E6353C8C","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":"Q2303876$7707EC3F-454C-4FC2-B634-022018A87C21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"649a088418bc083c785cb7275949d9450fda33f1","datavalue":{"value":"https://arxiv.org/abs/1910.02561","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303876$3746A29E-1BA1-4BDC-A9F7-2217EF4C82D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e56eed1cffd50c94d0a640902f820138246f82c6","datavalue":{"value":"http://eprints.whiterose.ac.uk/156772/7/acta20.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303876$64B826E1-D46D-449D-9EA4-C1E4E5F64D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$6CD74B34-5685-425B-8C34-A580DCCB9A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$47FFD34A-4480-42F9-BC2C-9A7689BC6781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$BCD38BC4-FA3B-4BCD-9E6B-9DABA0BDF529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$BB9CC670-33C9-4E5D-84F2-0E602414DD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$64B91B1B-F93E-4197-8983-C19D78A4B164","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b576a1c1ba4844b244b978388e030bae8a5e80eb","datavalue":{"value":"7177458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$93E2B137-9036-4997-8242-AB875098A27A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$887B14E9-A987-442C-847E-2FCB81B7ADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6fc33202d024597ac45755407e0288c38ed39e4","datavalue":{"value":{"entity-type":"item","numeric-id":22015,"id":"Q22015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$71FE1921-AEB1-40CC-AB97-42BA79AB0302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$A0DA9B4B-E71D-4B93-AB75-B561A17AD103","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":"Q2303876$DD93AC02-030B-44DC-92FD-3307F15284CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ae6fb92c44cda40b79da9a93adc0743dde38748","datavalue":{"value":"W2987958996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$84DC7044-55CA-4360-8F5C-506CF999FA89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfbec89e4204ea9007b9eb2227977d6d13d242e","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$1FCD5F27-5064-4DF5-8F6C-2DE6FED044BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012f35871eb971a7786100c5b352601a0f91192c","datavalue":{"value":{"entity-type":"item","numeric-id":3512497,"id":"Q3512497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$D2265BCC-D5A2-4B0E-B339-1CE990E6F9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$9FB92D8F-55E8-4C76-87E9-FB1AEF639487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$37E19DB6-BA7A-4980-8DFE-0794B49CA6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$CB2D302A-C0C1-4235-89A0-7566E9FAA87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$C8E83901-F05B-461D-8F81-B43A8EABD3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212915fd370f63215c162b6371370a744ceeadf1","datavalue":{"value":{"entity-type":"item","numeric-id":5429344,"id":"Q5429344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$A1D4CC45-DB92-4F79-B60E-7D42AD6CBA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbbd49260f2e6287702023903f5f21268fed3b3","datavalue":{"value":{"entity-type":"item","numeric-id":2303876,"id":"Q2303876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$25095FD4-143E-49EE-B11C-9533E22E13E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$20CA067A-CF03-4E6F-BC48-8BCC6844AF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d12daf634076f57033ce6bd48e225399436588","datavalue":{"value":{"entity-type":"item","numeric-id":2786910,"id":"Q2786910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$68FD8567-8A5D-472B-956A-BB8F1FF2838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$BC0ABCF2-C621-4E9D-9B36-8E648FEA5CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$859B9F06-94C6-46A1-BBFB-8BBB90EAAED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$91156E75-1D66-407E-9781-D541CAB0BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b41054324accda6052718745be74c36c3bc0fd8","datavalue":{"value":{"entity-type":"item","numeric-id":433349,"id":"Q433349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$278D817E-5DAE-4D2C-B1EE-D12B8757C6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$23B3E3B0-1293-4E3D-82EC-6078D78EBCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94945c05b0d3059e3e3839ec5d8353e1f3b51252","datavalue":{"value":{"entity-type":"item","numeric-id":1674867,"id":"Q1674867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$B3298CBE-76D6-4D54-AE7F-34D25D2684A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119599b429a7e54db6a15d28f6d00a2692d8e605","datavalue":{"value":{"entity-type":"item","numeric-id":2986905,"id":"Q2986905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303876$9C95C063-4CAD-44DA-9A05-498782DCAE3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ec091af66086f00655abdc6d695d446d5c9cb61","datavalue":{"value":"10.1007/S00236-019-00348-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303876$DD90C299-1792-43E8-9906-D163AFB6C48D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d574a5fee0a2af9848e16e8e4657582a83b4535","datavalue":{"value":{"entity-type":"item","numeric-id":6109602,"id":"Q6109602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb424304e4e58d7705fe5eb4445032d7e35aa001","datavalue":{"value":{"amount":"+0.8718500137329102","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":"Q2303876$07D93810-8DA7-452D-800C-CD070A3D564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b424b1afb6c618f3e364b42b5fc8c7830e52d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6f5a6ffa16aac8047c452483703b1de1209017","datavalue":{"value":{"amount":"+0.822758674621582","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":"Q2303876$C0783CDF-36C6-4E34-9FF8-90C9FCFAC397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce0e33a08c66a7f453accdb04fe75261b6bf480","datavalue":{"value":{"entity-type":"item","numeric-id":1674867,"id":"Q1674867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69872887488090e9449270cad49c63df1d065eb4","datavalue":{"value":{"amount":"+0.805077314376831","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":"Q2303876$479A2284-9E8E-4B9A-B93D-B0AEB83C026A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce361145fd3258059c51e9d3c3bbe938152c85b","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c6066092f863074b44d39478afe36d385c1b02","datavalue":{"value":{"amount":"+0.7786383628845215","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":"Q2303876$C92C1415-051E-4060-86F5-0B10BDB4D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ecdbc4d463644f2faa2eefbe26a4c9b87c1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2113a26a9627e8e308d84c014b4c01ffbf489cea","datavalue":{"value":{"amount":"+0.7704226970672607","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":"Q2303876$8040D758-7886-4CB6-9126-BF6DDBC7757B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303876"}}}}}