{"entities":{"Q2643303":{"pageid":2654046,"ns":120,"title":"Item:Q2643303","lastrevid":50150903,"modified":"2026-01-13T06:57:59Z","type":"item","id":"Q2643303","labels":{"en":{"language":"en","value":"Conflict-directed \\(A^{*}\\) and its role in model-based embedded systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182374"}},"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":"Q2643303$2FE5BB2F-B410-45CE-8BEF-8E0592D0064E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c34b2d76b05dcbb264b2a55695005da053423ac5","datavalue":{"value":{"text":"Conflict-directed \\(A^{*}\\) and its role in model-based embedded systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643303$6F1836AD-C6EF-4BB6-9A28-CB3A1E8A0780","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d749e065367f1d0568f481b1e2f34fc7c27ea4","datavalue":{"value":"1121.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643303$BC1922D6-FCE3-4AD1-BCCD-E325E983E22D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21fe3df6a046885a3ee5c65ece2b95e62a1b1725","datavalue":{"value":{"entity-type":"item","numeric-id":1101417,"id":"Q1101417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$8B38EF61-EBF4-46C3-8FB9-32C52BA03D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd2ba83ac2a51ab62ece3632ccdfe06b1e5fa5d","datavalue":{"value":{"entity-type":"item","numeric-id":2643302,"id":"Q2643302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$22314ACE-25E4-4F6C-99A6-C9D4548D68BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$345985A1-C828-4C87-B5A5-F7F3A4FB88DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643303$089A3368-426D-497A-8BFE-F3BF23889F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643303$F05F7532-5E33-4187-A636-A9F4CEA95D94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fea5a5a25d35610480b69d4868d11b46c0699e5","datavalue":{"value":"5182374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643303$78ACE64A-D26F-4E8E-8202-A1F3F92E97A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"061335417f95492bd36b8024dad5f70bc4512d21","datavalue":{"value":"constraint optimization with logical constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643303$A8AC806D-E625-44EB-876E-90F224974426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643303$B2B6F9BE-9BAC-4302-B520-E648B3118612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d986e468e7c5b21d5ed763a0c9ef6d46d270c61b","datavalue":{"value":"conflict and clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643303$F373A3F5-3B16-4B57-B78B-3F00BDE5E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e190b751926aa595fcea41a5765e6972d8f401","datavalue":{"value":"model-based autonomous and embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643303$9CF9B12C-6DC4-4148-9F0B-455C930837E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$69E375A1-1354-41BE-9B93-941BD8251A60","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":"Q2643303$636AA6BB-3A3F-4B36-96A2-6C20210C603D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"119788f11a04db9aaefaeb9ee573bb82bbb7d1bb","datavalue":{"value":"https://doi.org/10.1016/j.dam.2005.10.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643303$3B2647AB-4C7B-49D1-A774-C77BE1E33E18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b3bb14b7d531f14a3205489dca2ec4a9cfb745f","datavalue":{"value":"W2101330213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643303$90E72644-FA0B-45CE-BDFC-6BA4429FCCAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$F3C0CC80-8580-467D-B5CB-AEF9070C0F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$3C87A054-C868-4625-A71B-156E98EEFEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$1C6B5E18-6DE3-4BEE-BCA5-CCAB4E82F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c96fb590a8a14ff5629ca877091a92ef28bc5c3","datavalue":{"value":{"entity-type":"item","numeric-id":3768428,"id":"Q3768428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$3165E0B0-C8A6-4674-A78B-394526DE9565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$334BAD29-500A-42A2-8EFF-E310A7F306A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$865F81E8-AEF1-41E8-B2AF-470D849969B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$C5FE76AC-D1FE-4327-B892-746721DE21DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919ae8098d5b29c7a0790b1aca3f35e61168b7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5750448,"id":"Q5750448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$F80E6D1F-6FBF-4CF7-BB4A-F32BADF8627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ac59a525fc609a079b40aa98b0dda0f900823a","datavalue":{"value":{"entity-type":"item","numeric-id":3524194,"id":"Q3524194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$8772A3B6-27EB-428F-BF40-C7866FCACEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebb8efdaf042166b86074274f53b03830ea6799","datavalue":{"value":{"entity-type":"item","numeric-id":1204869,"id":"Q1204869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$283537D3-56F7-4E76-89FB-1C63A23CF4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689807a6bfd1b72d784193857ad6f2b5f6493c39","datavalue":{"value":{"entity-type":"item","numeric-id":1274747,"id":"Q1274747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$5127B58E-9D4C-4516-8AE3-F51EE3DF43F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$C6A56EE5-A54D-42AC-B578-6E8EECF35E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4f138145ce9879e026b0a72f06608d6e4b9592","datavalue":{"value":{"entity-type":"item","numeric-id":5900337,"id":"Q5900337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$9739737F-01F0-4940-A464-533556F531CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2bfc92bbd0ab20a1ef70601719bcd8609e38cf2","datavalue":{"value":{"entity-type":"item","numeric-id":4253835,"id":"Q4253835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$42E06C00-A38E-44F0-95F5-D55100EEE441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$4F46CDD4-8104-4575-8109-E2F3A066EA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1df4d304286c4522b2683ebe5a1d879428d7bf","datavalue":{"value":{"entity-type":"item","numeric-id":5750452,"id":"Q5750452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643303$DBD1BEBE-36EB-492A-BBD1-96895617646B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db1e139ba09714fd5593970594be98e17171530","datavalue":{"value":"10.1016/J.DAM.2005.10.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643303$6B4DC012-3826-4DAA-AA46-22DC4AEE18F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467421b7d597858b758df63b35706f8380dbd0e8","datavalue":{"value":{"entity-type":"item","numeric-id":2729991,"id":"Q2729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470f902609e0caeddf122d6a0ee29f156e5fed1e","datavalue":{"value":{"amount":"+0.7067183256149292","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":"Q2643303$19A73F0B-5E48-4541-8603-7053F7964256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2521bc8f8209da9a8f8c852a34322e8e54d03f61","datavalue":{"value":{"entity-type":"item","numeric-id":4737602,"id":"Q4737602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627dcd8a176e2e3b2a159e97c2edbd2fadbefd4d","datavalue":{"value":{"amount":"+0.6887288093566895","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":"Q2643303$EA74BF4E-FD49-4307-83EA-64E5530F458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9fa5e63bcf5e9d314690f00c08af7ea29cf222","datavalue":{"value":{"entity-type":"item","numeric-id":3198906,"id":"Q3198906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564eb8cc9e2ac8c5ebcb7a891bd95c5a4ce02c21","datavalue":{"value":{"amount":"+0.6802230477333069","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":"Q2643303$246E1F99-ED1D-4E12-893F-E0E591F11AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bca52f45c4bfe13718ce3a7241d2c7036c6d89b","datavalue":{"value":{"entity-type":"item","numeric-id":5453231,"id":"Q5453231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ed1e5c72742a0404bc25987365f8030055de9d","datavalue":{"value":{"amount":"+0.6776122450828552","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":"Q2643303$CE9EB31B-F2E5-4B35-8E9B-445413C722FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4167d92ff92cf56b9b17f389f43bc26d71073576","datavalue":{"value":{"entity-type":"item","numeric-id":3400323,"id":"Q3400323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6153c1cde3ba1a189db8a3dddd312319eb4949","datavalue":{"value":{"amount":"+0.6710586547851562","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":"Q2643303$DC3EF4E0-00C0-42BE-A0BE-E23A82A8FFDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643303","badges":[]}}}}}