{"entities":{"Q5450882":{"pageid":7480441,"ns":120,"title":"Item:Q5450882","lastrevid":40740183,"modified":"2025-04-04T13:06:12Z","type":"item","id":"Q5450882","labels":{"en":{"language":"en","value":"A Logic Approach for LTL System Modification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5250161"}},"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":"Q5450882$5F0C1BE9-5F48-403F-B12A-D7A700BD06A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a066c4d457d7b88e27bf4bff426a2aef5a8a059","datavalue":{"value":{"text":"A Logic Approach for LTL System Modification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5450882$07136AE7-ED36-4D01-AD0F-08AD1A28E94B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcd398e8a4fc0af23cf0f14947706c1215c3a6ac","datavalue":{"value":"1132.68728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$6768B1E0-B68D-4B43-85EB-A74F53799F5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbbf4b292958445fa0e016a94abf06e520ce99db","datavalue":{"value":"10.1007/11425274_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$7FD75A02-292A-4DA1-A3D1-9A92DA463302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d096d62d0a05d5d3ef3fe96a656046acef4320fd","datavalue":{"value":{"entity-type":"item","numeric-id":3408613,"id":"Q3408613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450882$8A37FA64-D75A-40B4-922D-646A01B96C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7551bf152405a58cb456e3287c72b5bb18d865","datavalue":{"value":{"entity-type":"item","numeric-id":897474,"id":"Q897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5450882$695BBA4C-9C81-48DD-8AE9-4C235CD8486C","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":"Q5450882$B92FC846-7565-4E2F-B4B4-837424AA6A9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"700ff7eb014c3e2f5bd4eebd397c23ca0f70e644","datavalue":{"value":{"time":"+2008-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5450882$CC9B230A-1BCA-4A2E-B33A-EF031F25F99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$93AA4CD4-5868-4E0D-9076-6EDD5B6B8609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$9D569BCD-7FCA-4B74-BF41-67FF6A273D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$E4B52D0A-A9C2-4729-9782-1FB5027233D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c280ba05920ad03341aa85f13cbfadcded6d13de","datavalue":{"value":"5250161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$62B6F1F7-08EA-4C11-B677-AD977E4AAAF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb6a1a398e0229c6be422c51d16956d18086d29","datavalue":{"value":"Logic for Artificial Intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450882$1F6699B2-44CA-4CA4-BE74-6C57C579C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed63c13855264a0c2de3715daf6dc3719cec8ad","datavalue":{"value":"belief revision and update","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450882$043C7BB3-F14B-464F-B01D-91A4264EC90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450882$83AB57F2-2A00-468E-90B1-E15651E507BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3edbdba92341c56ce91fe9602d73e1913b86f1a","datavalue":{"value":"model update","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450882$3BB08BE4-5E25-4B39-A0C0-4036298AA782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450882$526D476A-2606-4C6D-8E26-7E939A80EAB7","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":"Q5450882$684D47EB-D9F7-44D0-BBED-7629C469497E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1919c4bb5ef9e8a6bc1f00cc4e574eb8d7095424","datavalue":{"value":"https://doi.org/10.1007/11425274_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q5450882$3963D5AC-7FF5-4EB4-B3A3-B86BD825C247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49e3d6738cac86b9d46793302ff8a6daa2fe139c","datavalue":{"value":"W2095678790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450882$C3C1D691-0E59-4FF9-9274-D8D2467DEF0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41dceda5b2b67b842f05a750364ee072e559d15","datavalue":{"value":{"entity-type":"item","numeric-id":6097773,"id":"Q6097773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d219db4ee3ee9b8abc8986853707b1075f8cdd5e","datavalue":{"value":{"amount":"+0.8444236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$042A9936-A00F-4C4D-8600-BDAF958378A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f329389ee32ffc79357fc0ee526606e63e226442","datavalue":{"value":{"entity-type":"item","numeric-id":2757802,"id":"Q2757802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e42864a5bf9302768851e8e283bfe3f22f64ea6","datavalue":{"value":{"amount":"+0.8307257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$73CB9F72-A342-4BD2-870F-0BE10EEE3905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d124587a5c2d7cabbb654065de129d47710e3e","datavalue":{"value":{"amount":"+0.8298607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$74B099DF-AFE4-4213-B63A-46A37A53DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2a9c6e13c18069753bd75884f331f4db799284","datavalue":{"value":{"entity-type":"item","numeric-id":4421869,"id":"Q4421869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b310f391494130a7d4eb5689b02ea9e1a55637","datavalue":{"value":{"amount":"+0.82667506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$4A841045-F5C1-4A0D-8830-C8FD1E6811BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff68a24f4142f0c2ec4a54d6a27bad9ecb607ec","datavalue":{"value":{"entity-type":"item","numeric-id":3210907,"id":"Q3210907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97165f04d0aaf046785f0402a02b8b8e92060820","datavalue":{"value":{"amount":"+0.82507724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$58ECD5E5-7910-4C67-87E7-2364F1664B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35edbfa9985d289491645d3ef0b14cf885f111cf","datavalue":{"value":{"entity-type":"item","numeric-id":4934620,"id":"Q4934620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085885705ffbed1d74a43f3a93667ea71d051f84","datavalue":{"value":{"amount":"+0.82071036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$88F7258A-E0DA-47F0-90FB-4548039D6043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba64cf22c8a16766953f084708f06794a5cd904","datavalue":{"value":{"entity-type":"item","numeric-id":1941912,"id":"Q1941912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc5881733e36a1479a00763fbcc4cae48b47b16","datavalue":{"value":{"amount":"+0.8201782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$A5298610-D378-4E00-A535-E68CAF34DF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf25043b3df960ec74ba2f31f72e621f3e7fa7a","datavalue":{"value":{"amount":"+0.81542826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$149E43C2-8278-44D8-91B0-3BA12971231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80f2f956af73b24fd3386cce0744097c42ea228","datavalue":{"value":{"entity-type":"item","numeric-id":6102164,"id":"Q6102164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4726c9b97706e1a4c9a3f018e7c0ed1332456e","datavalue":{"value":{"amount":"+0.81489253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5450882$86FFB34A-0FEA-4A50-8CE6-DDFA9424809A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5450882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5450882"}}}}}