{"entities":{"Q7007844":{"pageid":21550026,"ns":120,"title":"Item:Q7007844","lastrevid":82694822,"modified":"2026-05-06T21:35:40Z","type":"item","id":"Q7007844","labels":{"en":{"language":"en","value":"Three ways of proving termination of loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016028"}},"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":"Q7007844$7C37F0F0-8247-45BD-9110-D2218172C6D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c56f16efa620b1c6fb3b8946b8221b5d6e12465b","datavalue":{"value":{"text":"Three ways of proving termination of loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007844$D35EE613-520F-4FFC-94FF-4A81FC884FC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de380c73b3483a2c308be29100c2e51a758bf7ae","datavalue":{"value":"1566.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007844$91B51AA2-39EB-4F53-B8CC-71821A5A78A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"772b47293a22a0225d7aa063b733a6a69c95a863","datavalue":{"value":"10.1007/978-3-031-73887-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007844$489A0512-CC7F-4AF7-9AFF-036D38427854","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$E533F433-959A-4F64-AC5C-7D0C20C87E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$0D7A094F-33F8-41F7-9E4B-C5082BE11368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$B9F58888-B498-45F4-8A85-D0F70151CE3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007844$A3384FDF-2F39-4061-A73D-9A15389274CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007844$D5F2B521-2B4F-4DBB-89CF-95A412419C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007844$3C385571-0CA4-4AA1-8248-8329741245D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e463127da9d47309127be04ad3867ce5a704322d","datavalue":{"value":"8016028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007844$A43FEB14-6E31-4BCC-8353-A312145A54E4","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":"Q7007844$E4B3A4FD-B12E-42FA-B143-C8AB171CB5A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"144058622c8121663bf91b2727dfb8c7ad985c22","datavalue":{"value":{"entity-type":"item","numeric-id":1960262,"id":"Q1960262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$F74ADD08-4F05-43BB-88D3-B5D96E5DC96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd066bce14d041c9ce7cc1370b33a9fcab12fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1140981,"id":"Q1140981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$714399E1-10D3-489C-BD2D-E94F8BC8BB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$8F3189C2-28C3-4462-A2A0-0EED14FE5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ed61285885c01c39e7ff502c750c78dd133602","datavalue":{"value":{"entity-type":"item","numeric-id":2280214,"id":"Q2280214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$652A5A0E-3278-4ABE-8756-36BDD2CCF77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d255452ba83a5793509445ad7ccb772c615851","datavalue":{"value":{"entity-type":"item","numeric-id":2026798,"id":"Q2026798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$76066162-1575-490A-9AFE-0B98F44505BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$75C43BBF-7710-48EA-94FD-6E1576E6A1DD","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":"Q7007844$F6B54B0B-C9CE-46D4-ABC5-9644339208F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$963A70E5-281E-4FE6-AB0C-E82F17FF5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2d787aea149decdd1b03f659b625af1699bfeb","datavalue":{"value":{"entity-type":"item","numeric-id":1776585,"id":"Q1776585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$6F513D4A-F75E-4F1F-BAD3-9FE4C3D9B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180a995c6bf4fddce09c209e0c80247b0b06901","datavalue":{"value":{"entity-type":"item","numeric-id":2561482,"id":"Q2561482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$79A38A2B-B516-467D-A257-4CB3E4B01FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$C1CE8D3B-6A9D-4D1D-A28D-E66F174C44DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$2026BD2B-A819-4182-9EE8-5CA3E4BDAA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$D90BDDA3-DD3C-432C-B23D-6BDB7346F479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377e83d215b56f64009f6d7a5c675a0cab428d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4823140,"id":"Q4823140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007844$EF81E096-0E5B-4791-8267-6BCE6BDD4ABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three ways of proving termination of loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_ways_of_proving_termination_of_loops"}}}}}