{"entities":{"Q5398085":{"pageid":7427659,"ns":120,"title":"Item:Q5398085","lastrevid":51934028,"modified":"2026-01-20T14:03:27Z","type":"item","id":"Q5398085","labels":{"en":{"language":"en","value":"Software model checking by program specialization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261561"}},"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":"Q5398085$6E790C1C-D29E-4CD1-A236-CACF3E12059F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b919b135716e7a403751333c85d5c7ed033df128","datavalue":{"value":"1281.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398085$A4D14D77-594E-4E27-AAE7-0A8F3D5019E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398085$4E392A0A-B7E5-4259-9AF0-EFB00C60641C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398085$5CD95BC0-26D3-4A83-B68B-58513E0FBD4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398085$7D995757-9A6B-4CD0-9282-D14DCAC9AEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398085$48DC48A3-A233-4FC8-AC6B-F606B5E82393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bd875cfc79b26d101e3250ee6f61a4a2ede96be","datavalue":{"value":"6261561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398085$8245818D-A7F7-493B-9986-CE5646B41D63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398085$07E492DA-78A9-4A2A-BA98-E013A6FDCA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c70679488f854d98013845cb75e8bf7b0e19981","datavalue":{"value":"program specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398085$1C437131-0D67-4FAD-BE63-A2E5BCAAFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398085$CF598EB2-8312-4C22-8A0F-C3247AAC0904","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398085$1CEBB99D-AC2C-4B57-9013-8D4919B5393E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398085$373BD6D1-9583-4445-84EB-180C91E42673","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":"Q5398085$EDB2723D-21C9-4470-B98A-C81A1ADFEB83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82214afbcd11c9c2d6b031486bab3eab32f13e3","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ICLP.2012.439","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398085$B375C953-BEBD-4979-BA1B-035FD39FD716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e77d4e6064ddcf6865f6c03d49806b041831e7","datavalue":{"value":"W1602413278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398085$E4D1FA91-8AB5-4D52-816B-983847A3CAF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81d476647bb006bac8e7a574d2463b3e8e3948a8","datavalue":{"value":{"text":"Software Model Checking by Program Specialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398085$73A91689-9102-4CB9-8CD2-6971EB9F926F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0707696eb0583036e1ba447006c6a17a4a8ea756","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398085$90B6E6B6-EF68-4104-A5CE-7C3FBC74F583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd10af6330da36c4d34fcb693e64b112a29f410f","datavalue":{"value":{"entity-type":"item","numeric-id":2848896,"id":"Q2848896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188d7d51e41676b36ce7c1f43f7f0eae90a93de5","datavalue":{"value":{"amount":"+0.8957847356796265","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":"Q5398085$705EE947-3981-4974-8299-D5B0FFE9475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19891af2fda8b5f878eba0c5838c6cb2f2d911f","datavalue":{"value":{"amount":"+0.7788868546485901","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":"Q5398085$AEC32C1D-92C4-41E9-8B52-F747A2E61224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492a649450774a68d4ef9e33f40a5b30cddb17f8","datavalue":{"value":{"amount":"+0.7765825986862183","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":"Q5398085$797BD89B-239E-4F1B-AB06-D0ED78A2887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0404a22a9568850d17ecebc1ba67b8b4f4b7de4","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723ef05d1fb654bb5622dfcba2b6f9e46e3b26bf","datavalue":{"value":{"amount":"+0.7765824198722839","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":"Q5398085$15ED44DD-FCE6-4B0A-AD9F-4B90D32FA624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11db9497f6f2d999542c901c4a35e858cc28e542","datavalue":{"value":{"entity-type":"item","numeric-id":3003492,"id":"Q3003492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9327ae277e93c6f67782ea85b2611f4450c8c7a3","datavalue":{"value":{"amount":"+0.771875262260437","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":"Q5398085$96061903-F131-41B4-8556-1DB34CD64B3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398085"}}}}}