{"entities":{"Q5505559":{"pageid":7535119,"ns":120,"title":"Item:Q5505559","lastrevid":50550659,"modified":"2026-01-14T09:07:15Z","type":"item","id":"Q5505559","labels":{"en":{"language":"en","value":"(LIA) - Model Evolution with Linear Integer Arithmetic Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498347"}},"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":"Q5505559$7F54732B-B0A0-4BD5-9DE8-6D89B14D7B6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9cdcf863b6c68e8347e53b3156eed06c86b77dc","datavalue":{"value":{"text":"(LIA) - Model Evolution with Linear Integer Arithmetic Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505559$A1C1B8E9-04A9-41B9-8E5A-F0473BF50A67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33c81a74e94f9760ff7f475a3d54c66570264917","datavalue":{"value":"1182.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505559$7F9CB64D-C459-4DCD-95B9-4BDF83DD2DF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a4a8620ab488d609baeb807b48dcdde793f7e68","datavalue":{"value":"10.1007/978-3-540-89439-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505559$C8DA5B5D-3BF2-45F3-A7CB-5212A9232BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505559$AA2BB29B-FB9F-4034-BA68-559F01900ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdbc6771ac2ea422001c187c0d91d02309cb09b0","datavalue":{"value":{"entity-type":"item","numeric-id":1006732,"id":"Q1006732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505559$208B6263-5785-4ADD-8224-797A664A7872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505559$491D995C-8012-4A39-9722-DCB19B2304AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505559$D1DD2F7A-0F4B-444C-A048-FE9A1D68ED3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505559$13331B3D-8647-46FA-B84F-66E6E0B462DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505559$6AA064E7-290C-4B21-9444-3D5FB70B028A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505559$0C44A5EB-4839-4554-8608-D545D8221D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"831391af5fa07b9d1dd4687b4172606055da3cad","datavalue":{"value":"5498347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505559$74B18D01-1ADC-4CCA-8FAE-C4F7A84D19EC","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":"Q5505559$D6C4731E-79C0-4CA4-882B-38B230DFF889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c0c4bbdfc03d9f71054611549e9b9eca30892b7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505559$04615B74-EA1C-4B3E-8D66-85284ADB3ABE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26f7500d92aa81d38fbcf9d06f12845576ae5832","datavalue":{"value":"W1509261266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505559$31348BA0-C49B-49F3-97DD-F9048DE201DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8241c4b3f7e9b5b036b201f4b1889f5481c081","datavalue":{"value":{"entity-type":"item","numeric-id":5200017,"id":"Q5200017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ab5c95efd0a9edcefe62a441b515451975463b","datavalue":{"value":{"amount":"+0.8607016205787659","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":"Q5505559$E00EAEA4-34C7-475A-AAB9-0D6DB156DAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00058f037f22647676255159cc8be291fdf1cc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61a7e2814ff8ddfcf13980b6da7b16aea0cd1b7","datavalue":{"value":{"amount":"+0.805010199546814","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":"Q5505559$FDC773FF-1BFA-4CC1-8DA1-CFEA10742B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3095e6f99c1ed9ba385376092c408fc254cedf90","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f57484e0190c7037e9ed7e66a134285280c59c1","datavalue":{"value":{"amount":"+0.7689837217330933","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":"Q5505559$298E5273-27C6-4B26-9CA3-89E1ECD5813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2552b0abed1d99e9628732a5ea40988e1006f66","datavalue":{"value":{"entity-type":"item","numeric-id":429586,"id":"Q429586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d44b1500af631b7b5b8062e6895f3bec1cc691","datavalue":{"value":{"amount":"+0.7660344839096069","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":"Q5505559$CE8EC7C0-9840-448E-B1C1-C6490AF1DF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8e3a6abe8f8c4a26042826c88255c7940305fd","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f246a750e2289e0cd62e30d7f197e1919563f65","datavalue":{"value":{"amount":"+0.7623254656791687","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":"Q5505559$E088D2A0-2756-470B-962A-7ED4E7AE45A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505559"}}}}}