{"entities":{"Q7285336":{"pageid":31125766,"ns":120,"title":"Item:Q7285336","lastrevid":105033184,"modified":"2026-09-15T22:23:35Z","type":"item","id":"Q7285336","labels":{"en":{"language":"en","value":"A methodology for modular termination verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8213373"}},"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":"Q7285336$8F83A499-EE76-4A9C-B491-7159CAE2DC97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a62b579e7d35eed5ec5b17f047c04655c87fc447","datavalue":{"value":{"text":"A methodology for modular termination verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7285336$A14D8B51-B5BD-4E21-904C-F82412C09EAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2c1643ad536303c369a09a44347069efeb6ad66","datavalue":{"value":"10.1007/978-3-032-13711-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285336$4B5171A5-DEFF-4C5C-8082-D21675031FD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285336$6D6CA85F-3DB7-4A24-972F-78F9EBDB5CC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b8f4f6f52489f3060107e23793e8aaf707f9e8","datavalue":{"value":{"time":"+2026-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7285336$E7288964-F101-43B4-9E73-73B8A4726C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285336$D599C2BB-4D06-4827-8AE4-2334BBC2C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285336$10FBF4A0-9B78-4798-BB19-CEE7288F0DC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b82968cd6fd0594924584879b03b9d6d8ab826a","datavalue":{"value":"8213373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285336$A94348F7-273E-4BF1-9D91-C2FB7D175D98","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":"Q7285336$349F26C0-A920-4F59-A26E-7E5D24E451E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285336$438D1B41-505C-4644-A584-B86B68011BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285336$7EA4EF1B-0F1A-41B5-9E55-9774A24B0FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285336$E7CEFE7D-EE8B-436A-91B9-23541CB8EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285336$B593C318-931B-4BFD-8316-78E712FCE11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285336$E62CFB2D-4B4A-4EFB-93D6-B9AA54315B94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodology for modular termination verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_methodology_for_modular_termination_verification"}}}}}