{"entities":{"Q6045004":{"pageid":13179160,"ns":120,"title":"Item:Q6045004","lastrevid":37095893,"modified":"2024-07-30T08:31:59Z","type":"item","id":"Q6045004","labels":{"en":{"language":"en","value":"Eager abstraction for symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689210"}},"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":"Q6045004$05DCF5E7-F38C-491B-BCD5-14A5A0A6D76D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adf714cd21138892a6f62e746fa3fdb4dd80f01a","datavalue":{"value":{"text":"Eager abstraction for symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045004$4C9C81DA-46EA-4D09-90DD-6AE78DAB46C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09f72a2e7b0f5636090e95edaefc35da53f55320","datavalue":{"value":"1511.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045004$5ABEDFC7-704C-4FD6-833C-64941AABC362","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afdbbf2211d4cea3af73fee651694ad19d36abf5","datavalue":{"value":"10.1007/978-3-319-96145-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045004$9F31B97D-A884-4D4B-A6D1-C0C16375BCA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045004$F9A920E6-B3D2-47C1-93B1-434DB418BD88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045004$6E3C3D86-9BA5-4C45-B7B7-9C4DCD98268B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045004$45003F60-EAE7-4BFE-A93A-C389A1FE37C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045004$8B1D9BDD-5926-4C1F-80B3-61E5D1D87AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94385c4ebbeba0ea7fc6ea45491655a6dfae3ba5","datavalue":{"value":"7689210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045004$3ACD5CF7-39A8-4974-A4E3-C0ED3B5BE561","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":"Q6045004$7C89C2A8-9497-4C68-A6C6-E399E871950B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f958f57dafa4731463c706a862d6b4531b2fe3af","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045004$2B4AE6F7-D89E-4E1A-9298-22A2DA02FD20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ef2e33233a04700c64b5d9e80d34502502b4e95","datavalue":{"value":"W2884883145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045004$9186EEF7-4881-4B64-8E41-8C3BAA9AAC74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045004"}}}}}