{"entities":{"Q3512502":{"pageid":5542406,"ns":120,"title":"Item:Q3512502","lastrevid":50405729,"modified":"2026-01-13T23:51:04Z","type":"item","id":"Q3512502","labels":{"en":{"language":"en","value":"Proving Conditional Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301122"}},"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":"Q3512502$BE18B015-CEB8-4CC5-BD10-E674F044A47A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f114e67088f518d507fce79900d6df840387b9d","datavalue":{"value":{"text":"Proving Conditional Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512502$1B2B8C2F-2958-460B-8553-FA69C0B4BAC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a82be0fa4492c02d1b7189734ad873bd74e28832","datavalue":{"value":"1155.68431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512502$779969B0-A7CB-4078-975D-C75A7FD5F81F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07231fc0b99ad0cd0b8871ae718ba965bf53c6e0","datavalue":{"value":"10.1007/978-3-540-70545-1_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512502$54CE7655-E42F-4604-8183-6F146133C902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512502$396FDABA-3591-47C1-A125-884605F00058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512502$1161B6A0-939F-4E95-BDC6-36BB3056C5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c47ef192a86b65203bced92ad6f7f4227abc498a","datavalue":{"value":{"entity-type":"item","numeric-id":2722066,"id":"Q2722066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512502$BD3D6E7D-1108-44A6-9DD6-D6E1DB2BEB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512502$024434B8-CEB8-41CA-98F5-AAA29C87CB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512502$287AF8C9-B14B-4F50-98D9-E8543169E127","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":"Q3512502$D2A81468-5B66-44C2-A6C7-6AEF3D3AE6A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512502$4EB6F0CB-BAC8-4C7F-947F-8B9813F31167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512502$3A9C9F72-D92E-405A-8810-1A90CF33447B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a7649a63bd91cd1f811c6b00bf3291d9eae47bf","datavalue":{"value":"5301122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512502$06CC330D-A0E0-46C4-BA5B-E6565ACAA181","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":"Q3512502$9E2C67BA-79AE-411B-8029-F9BD9771C96D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f84505ce57dd708af5dcd22d58988bf20df7767e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512502$D98E0181-76A6-408B-88A8-6493FAA3E990","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c01f290804953c775b807081eaabe9fd29064ef","datavalue":{"value":"W1925379677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512502$F40D013A-4422-43DA-B681-77BA89309586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e10fd9e974cf710eab4efc7d45ea98d8fc6b72","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b6fb81c86eb444501ea450aff132179c99b7df","datavalue":{"value":{"amount":"+0.7870430946350098","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":"Q3512502$D11ADEA1-5788-4D05-93DE-6AD94C8B6E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf5502bf81d31e0fe04d0c7b4f7ea0122f004b","datavalue":{"value":{"entity-type":"item","numeric-id":5891624,"id":"Q5891624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d60aa4468a3d7b9ee1031595d6fced43f8b17f","datavalue":{"value":{"amount":"+0.7730472087860107","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":"Q3512502$35E677B5-EB88-42DF-8E0F-C081FA868360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb043f553f286bdc920a9ed85182dd3585f3af82","datavalue":{"value":{"entity-type":"item","numeric-id":5891476,"id":"Q5891476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223693b888d31b96a5f1323c3884a0d93823c780","datavalue":{"value":{"amount":"+0.7583236694335938","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":"Q3512502$F9E03A06-34C9-4D41-9A61-B03A582FBA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7747ca8e41530b344da3677684696950de8040a6","datavalue":{"value":{"entity-type":"item","numeric-id":6045001,"id":"Q6045001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51d919665f22c2b42b4e4d322049fed1651f5c1","datavalue":{"value":{"amount":"+0.7364425659179688","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":"Q3512502$31B75CB7-60FF-457A-8345-D1F515CDCD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5393ea6316736426388f2256d94b4f3454e71223","datavalue":{"value":{"amount":"+0.7358384132385254","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":"Q3512502$67F7C9F8-E942-4A80-B12E-44F585A02B12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512502"}}}}}