{"entities":{"Q6492754":{"pageid":14071527,"ns":120,"title":"Item:Q6492754","lastrevid":99629522,"modified":"2026-06-05T20:24:26Z","type":"item","id":"Q6492754","labels":{"en":{"language":"en","value":"Proving Almost-Sure Innermost Termination of\u00a0Probabilistic Term Rewriting Using Dependency Pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838496"}},"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":"Q6492754$282A95F1-5BE9-4DCC-AC40-4D754C8C695A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b21926f18da88af0e4200c6a2c92ff64a4aeda9","datavalue":{"value":{"text":"Proving Almost-Sure Innermost Termination of\u00a0Probabilistic Term Rewriting Using Dependency Pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492754$0298234F-58C5-43A3-991A-221D340B0F15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afeaaf74fd57b1da2d461d165ab0afd3f6f6a430","datavalue":{"value":"10.1007/978-3-031-38499-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492754$DAF49503-4988-48B2-8396-080BA3FF2257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84f0d767f9de8924a03559afb79c4d44089ab0f","datavalue":{"value":{"entity-type":"item","numeric-id":6492753,"id":"Q6492753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$976699FB-E8E9-46D7-9C33-9E8548D026A8","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":"Q6492754$AF7610F3-18A9-4CA4-A33D-682A87F29CEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-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":"Q6492754$6BC48762-244A-4F9B-A9D5-B3FCA383525C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492754$1A89CC53-DAB0-43EA-9165-729E62BA3F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492754$F874A2F8-5B73-4716-823D-1509BD6713A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e85f4ef9b9ec32a3d285b277450acb307d56fda3","datavalue":{"value":"7838496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492754$E8DE2DCD-66AE-4A56-9822-17F3A584D206","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":"Q6492754$CA49CA99-76B1-401B-8152-C53D0C73570B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$4269C8AC-E3EC-40D1-B87D-AB6CE7C894DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3530d65a695b6a5ae1e632bd935e719513daa1","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$8CB1F8DB-8C77-4FD4-9F5F-F7FD958F15ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$8D014C81-55BB-4C47-9816-E6A74ED5D069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c877c04c541a7428908ff8a8974c05cf812abc","datavalue":{"value":{"entity-type":"item","numeric-id":4808751,"id":"Q4808751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$33DC2272-7DFC-40D4-8AA6-65FC3F0130B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$C617A7CA-960C-4522-BC8A-618D8F5F8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a86855822e448cb04f157262ce822691dbc12","datavalue":{"value":{"entity-type":"item","numeric-id":5150951,"id":"Q5150951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$31A318B8-68DA-4B4E-9850-960B842A2B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795254d11c081e37cfb0370023e0eca773546855","datavalue":{"value":{"entity-type":"item","numeric-id":2988649,"id":"Q2988649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$87D55903-37E6-4E78-B5CD-C49171C6D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$BF5D1C8B-2755-499A-8F8B-D5C1D5A0E16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182c985d21438a1bc8bcde8ccc3000342ee5273d","datavalue":{"value":{"entity-type":"item","numeric-id":5094133,"id":"Q5094133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$3D7901E4-18A0-4171-8C8B-BCA3B58C3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$7B1C917B-1DCE-4727-B132-87589EB46118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$A16C8383-B9AF-4867-BD64-6850F58AD53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$998A5B10-937A-4FCE-ABAA-CDA09EEA6CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2010a40453fa04571eca002fb1ef06131918d06","datavalue":{"value":{"entity-type":"item","numeric-id":4909327,"id":"Q4909327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$F0623685-39C2-456F-9011-2DBEFB34720F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$6C76D58F-C2B1-44F7-8FB3-73494719DCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c358d0ee5a95b2aaf10398e86fd645e6f4222c","datavalue":{"value":{"entity-type":"item","numeric-id":2305420,"id":"Q2305420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$4F42858A-72E2-42D9-83FA-5B09F591F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d91f6b54ea1732541feaf142f2b5adeceb370f","datavalue":{"value":{"entity-type":"item","numeric-id":5049021,"id":"Q5049021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$87593F5F-731C-4508-BD5F-12DC7BD60B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$5AAF4D50-BB74-4F74-87C2-E1D39E3A545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$5F1279A6-0C0D-4CFE-BC87-53D9DB7351D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bdb74f8d9c625b51b6a06e86cf15340e4133a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5150950,"id":"Q5150950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$33863B21-0EB1-40F7-9A76-9DA52D837DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2708e87edbdef6c55892b6d84493c37ee3cfabf9","datavalue":{"value":{"entity-type":"item","numeric-id":6487331,"id":"Q6487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$FCB74CB1-2200-46DA-AE93-8028837A44B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14812d6ccc1e7fd415a56c6de42526a51923f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2044203,"id":"Q2044203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$8F92C7DF-2329-4966-BD8F-C6DFBB6F14C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733e71c5d3eaf707d9030a49314c638fa6915ad6","datavalue":{"value":{"entity-type":"item","numeric-id":2233477,"id":"Q2233477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$D3EA5D1D-5B37-4ADA-8064-AF6E481D5AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4d3b60d147cb23c7c6afc467f003f6d2c00f84","datavalue":{"value":{"entity-type":"item","numeric-id":1640985,"id":"Q1640985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$7018344B-EDD5-4C19-A313-3C6D1F2C84D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88530834ec12c39dd9fcfa8ff40d5bf40aeff0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$6C51ACBB-E321-468F-A0C2-A5BB88A50681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$C7CAD9D9-2CE8-4A5A-B715-34E0CF7D6DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315fdba4d6814f7d1aad814689d11cc07946b461","datavalue":{"value":{"entity-type":"item","numeric-id":5170837,"id":"Q5170837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$69B5B718-0EEE-428C-A218-D6536A985054","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492754$4FCF8B7C-6D73-4472-A83B-EF2B86708905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs","badges":[]}}}}}