{"entities":{"Q4981159":{"pageid":7010737,"ns":120,"title":"Item:Q4981159","lastrevid":91247756,"modified":"2026-06-04T22:39:21Z","type":"item","id":"Q4981159","labels":{"en":{"language":"en","value":"Model Checking for String Problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6307648"}},"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":"Q4981159$A70F186D-7FBA-4842-94DE-B112DD31A3B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19b391dbee234a578b0a1fd97af38aa911e12b1e","datavalue":{"value":{"text":"Model Checking for String Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4981159$F662E7C9-D513-4611-A368-6C0EEBA3B58D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0048e52d916bf9e4433def99b5bc645673a6141d","datavalue":{"value":"1407.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981159$9BD71B89-ED41-4455-9126-AFABC657751F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c056c8d54980cdf2733370dcaf88f705d97dfdf3","datavalue":{"value":"10.1007/978-3-319-06686-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981159$7D20E5B2-1AA3-4F9E-A182-A2CE50DCAA9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fc8fd6360c30b0c1d1d1efb3dacd319f88dbf34","datavalue":{"value":{"entity-type":"item","numeric-id":1685785,"id":"Q1685785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981159$CBD8DF03-716B-4B9B-844B-0123D34B8C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981159$32B3AA2C-9DF4-41F8-A2CB-A862524EB89B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67369056b9d9aaf16ec761af964d570fdcf3aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3392935,"id":"Q3392935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981159$BA81EB9F-48BB-4BC0-B865-FF310C5803D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4162171d534841eaba82df8e339e73a24ff6ed5c","datavalue":{"value":{"time":"+2014-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4981159$74289D62-0DB6-444D-A4D5-82293D46EE39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981159$434B4479-7788-49EB-A148-51C7CDE5385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981159$42A9010C-8A58-459C-8DBE-F7863FF6F099","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e81b3b7eb88d9cb5b5f0173179afea73f16a568","datavalue":{"value":"6307648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981159$2A0792B4-6084-4281-840A-6E158A6D685F","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":"Q4981159$74326F72-CB34-4734-AB5D-07A1E74C31E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4cde76f9b39cd90b9361cc643ce9600da62c3c4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06686-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4981159$3BAD0E37-10C0-4711-946A-C6D18C499EA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c761f5dad56778d5020772ef30b68383e2b47b24","datavalue":{"value":"W155277470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981159$96D36E39-45BA-419D-AF79-A58924F99A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd85731417f87ca499bcee835b6100c251ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9348e536c8b40350745a3850b9409919c745f39","datavalue":{"value":{"amount":"+0.8805491","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":"Q4981159$0217BE41-CE3D-4309-AAD6-3D3A3993ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455c613d67647fc742c344db4b080302466a0210","datavalue":{"value":{"entity-type":"item","numeric-id":5897209,"id":"Q5897209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dba760af4c51f4e9fa2412a0f893135d2b36adb","datavalue":{"value":{"amount":"+0.8607716","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":"Q4981159$020A0C59-183E-4E30-A873-7DA8664FA613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba2182e4974c1e42b0bd221efdc15ea72139c2b","datavalue":{"value":{"entity-type":"item","numeric-id":2163978,"id":"Q2163978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75133bf8efa5008572f14275a5193358e961e235","datavalue":{"value":{"amount":"+0.85304093","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":"Q4981159$36B6B606-CE67-48FB-8EF9-0BA3FD9A81F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52a7589645de3eb4166e599262dba7da6ae12b5","datavalue":{"value":{"entity-type":"item","numeric-id":832277,"id":"Q832277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2037a16dfa728fa1a4daba5e70e5308193d456e","datavalue":{"value":{"amount":"+0.84783345","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":"Q4981159$74C310DF-1ADF-4D7E-8679-20B29D999C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6095a483677cd3488c82536909ea8f2d0b9b2e22","datavalue":{"value":{"entity-type":"item","numeric-id":2722046,"id":"Q2722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f10208ef6c9b4445d7255ccc94a55f7929b8f1","datavalue":{"value":{"amount":"+0.84589803","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":"Q4981159$37706862-DE2C-4E11-BB73-7E37CAE6B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab01123aea2bf0ba083e12cd1ec9f474d20f46d","datavalue":{"value":{"entity-type":"item","numeric-id":2164241,"id":"Q2164241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9b522c2d3fc7f687cd919650b1074897f5b8c0","datavalue":{"value":{"amount":"+0.8445083","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":"Q4981159$97DB0542-640C-4E00-A642-11DC00D07EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294968c89516daef84b5f7609fb77e2e4291f632","datavalue":{"value":{"amount":"+0.8437433","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":"Q4981159$9B662BF0-5A72-450A-9F7A-3C4AB5C6E400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking for String Problems","badges":[]}}}}}