{"entities":{"Q2908495":{"pageid":2919220,"ns":120,"title":"Item:Q2908495","lastrevid":44726592,"modified":"2025-11-25T12:14:31Z","type":"item","id":"Q2908495","labels":{"en":{"language":"en","value":"Proving Non-looping Non-termination Automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076910"}},"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":"Q2908495$61A48F1A-ECE5-4601-9D47-9BCA05751DEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d18eab191513ebf5f3a3484f473ed93f5b11116","datavalue":{"value":{"text":"Proving Non-looping Non-termination Automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908495$E30992EA-A17B-4A7C-8C67-8745281D5E74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f023efba897897937faba4916fbc885e86cf7cbd","datavalue":{"value":"1358.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908495$558A2722-CE7B-4925-A4F6-D50E057C0E8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e8f1303d9a7740d121ada2a9679e8a3e628902a","datavalue":{"value":"10.1007/978-3-642-31365-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908495$E8BDAB29-6B8C-492D-80BF-07C888730301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46954e25e8dfa4734990921b382dc03a75dfa019","datavalue":{"value":{"entity-type":"item","numeric-id":2351154,"id":"Q2351154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908495$9BC0A2EC-3C3A-4598-AC1C-0C1613391DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaf88275336450f98f44333d2ee0ea6b2451b557","datavalue":{"value":{"entity-type":"item","numeric-id":2908494,"id":"Q2908494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908495$A9D63CDB-C219-4CAB-A1AA-F1344B8A2C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908495$7FD6753D-8428-47DE-A5F3-5CC127B44581","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908495$A0263134-DAC6-4018-9AC5-968437DCC7AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908495$1E5EF72B-F52C-40DB-9F39-A323699A491E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908495$42D573B2-F6B7-413B-B97A-DEE1D07D0F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908495$67D76BCF-C3E7-4AD6-A7C5-1C03185B682D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"848fd97399e2fe417f6a336d348270e09bd96e2b","datavalue":{"value":"6076910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908495$8B00419A-FD69-4E6D-9BB9-1536C9DB69FA","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":"Q2908495$D9B30B64-8765-4709-9DF5-0B470C8C3208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35c927ec29980bfd670fcc05430a29acfe440f24","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908495$C3B32196-B8D7-4C3D-8940-8A5C5DAA5D4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e1f6bf12fc8b9e20f5c91f696277abe609c9832","datavalue":{"value":"W197252015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908495$0DC0313D-FE18-4569-A9B7-718ABB53BFB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908495"}}}}}