{"entities":{"Q2938057":{"pageid":2948777,"ns":120,"title":"Item:Q2938057","lastrevid":58078296,"modified":"2026-04-03T17:27:33Z","type":"item","id":"Q2938057","labels":{"en":{"language":"en","value":"SAT-Based Synthesis Methods for Safety Specs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385872"}},"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":"Q2938057$622F495F-AE28-4D55-8864-D4825870D576","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"159165cbaeb727fbbc070c7d5dc0bff4b195f260","datavalue":{"value":{"text":"SAT-Based Synthesis Methods for Safety Specs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938057$7553FAC0-25BD-4A03-BBAB-12F9D9658091","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dccda40df284928aeaa004e29ab1d89a5449c33e","datavalue":{"value":"1428.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938057$C7E87892-B9B7-4B24-AD47-E0CB18679CD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"746ce518c70c5281fa21d48c1ba4059be3f27513","datavalue":{"value":"10.1007/978-3-642-54013-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938057$4454E241-B5CA-4297-BAAD-211554BBC53F","rank":"normal"}],"P16":[{"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":"Q2938057$9FFB84DB-2C0F-449F-B2B6-B2FC2D17BF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"722a5b826701518e81fc2ee5e5bd6c51d22c55e6","datavalue":{"value":{"entity-type":"item","numeric-id":1696586,"id":"Q1696586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938057$E1440570-7B6B-458A-85C7-A2EA91353F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938057$2CDAF5AB-6A52-47F2-9745-3F82CCAC15E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938057$F3C0495D-DB3C-468A-ACE5-CE134F79581C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938057$3F8AA3B2-7E71-485D-98F5-D85E23B187D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deff0205f07334beab72468074f7a86d97185785","datavalue":{"value":"https://arxiv.org/abs/1311.3530","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938057$34D8D9EA-EB85-4FF4-A2B7-36BB769C7731","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938057$5C124558-9703-47AF-9364-5436E60A6A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938057$FCE62291-49BA-4B8A-8DEF-EB13EE724B1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6369e3aaae06bdcf5a84b68dc256ba0524e0b9f3","datavalue":{"value":"6385872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938057$1CFFA1FD-1035-460D-9631-14D8AFB82823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938057$7AAE86BA-0FED-4848-A1CB-18792706175F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f9a2adc04516f7806472d1c6b5b07524a09c31","datavalue":{"value":"SAT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938057$BAEE9455-4151-4533-B168-69D336C749EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938057$FB05E9AF-B63E-4D51-A022-6467C4154D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104513d3dd0fe22d87f163bb45657059d03dab32","datavalue":{"value":"effectively propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938057$A195FBB6-163F-43E2-AC67-B5DF007297FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938057$5EADB35A-0DD0-4A49-8AF5-5B497B58F041","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":"Q2938057$07E8BF2C-1E05-4335-A76C-FBA7A5D0D505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d08c63aff0ca75c5c6106799755fbdece11a50c","datavalue":{"value":"W1922664086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938057$3508BA9D-C2B1-4A41-A83D-838B7127156F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda3b69c299daf30d8cc51c25e127e9845eb220b","datavalue":{"value":{"entity-type":"item","numeric-id":5898457,"id":"Q5898457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5037b45f64568f7239d64b7a11529426130823c7","datavalue":{"value":{"amount":"+0.9061793","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":"Q2938057$398CBE9D-6E26-47F9-84CE-4A1FD9B2EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9887b7cea0f2c68bf55acdd17a5d473efff2dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":5394178,"id":"Q5394178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f963b63d7cdda0e13a04b29d49ed59ed96e13b9f","datavalue":{"value":{"amount":"+0.88798916","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":"Q2938057$520574C6-AD85-406D-9BB2-12D29CA7A9D0","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":"1656d4f5b9cfd5eb4260168dcd7163bb67bcacfd","datavalue":{"value":{"amount":"+0.87723696","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":"Q2938057$BCBA1CA3-AF89-4763-970A-FFD01E8F57ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6719d92828b8bd73f284e33571aa69b4ec34e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2849589,"id":"Q2849589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804031d7ecbe7d4e0a9663494778686a4da36ccf","datavalue":{"value":{"amount":"+0.8753925","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":"Q2938057$B55E7C37-7405-4E19-9020-CB15377E91FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ba0bf204891363dc77d7e08e9effc5dc868a0","datavalue":{"value":{"entity-type":"item","numeric-id":3612464,"id":"Q3612464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf13dffb59a55c261c09195764a3e9450a5e079","datavalue":{"value":{"amount":"+0.8572029","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":"Q2938057$746CF5BE-1276-4C3E-B19F-81610DAAA612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b21ab827896b659800c43068e1a5b5265e7643","datavalue":{"value":{"entity-type":"item","numeric-id":5423879,"id":"Q5423879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de35b5019a4babae9dca76bc7ffbdb467e5fc8bd","datavalue":{"value":{"amount":"+0.8561298","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":"Q2938057$A504B8EE-C658-490C-8F51-27BFA743610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7ff4474bcac0fcc680c87ac49ec5f8e12e5838","datavalue":{"value":{"entity-type":"item","numeric-id":5479162,"id":"Q5479162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734da74110086cfa0a31919c11502546de41b6f1","datavalue":{"value":{"amount":"+0.8515635","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":"Q2938057$46B87EB4-6517-460D-AB24-EDE773D35B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5147221d17841a17cabace7ab5c49d369adac41b","datavalue":{"value":{"amount":"+0.8508717","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":"Q2938057$19686AD3-7330-4BD0-8184-7FEAA5AB861D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938057"}}}}}