{"entities":{"Q3183545":{"pageid":3194253,"ns":120,"title":"Item:Q3183545","lastrevid":50790758,"modified":"2026-01-15T04:47:21Z","type":"item","id":"Q3183545","labels":{"en":{"language":"en","value":"Certification of Termination Proofs Using CeTA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618525"}},"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":"Q3183545$B7FAED32-2E71-4E6F-AA4A-5329725262AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca09ee5efd854104957faee67974ab996fa5f241","datavalue":{"value":{"text":"Certification of Termination Proofs Using CeTA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183545$D7E863E9-46FE-445A-9A54-73B3C3BA8E2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3983e58cf8d40161c5823a6078f2a3e90886b884","datavalue":{"value":"1252.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$05F74B85-2AF5-41C7-8CE4-8B0ECD219700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b17c6ff63f0ef916be29d1090491581b75d72038","datavalue":{"value":"10.1007/978-3-642-03359-9_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$75BC472A-24E8-4E61-869B-072A8EAEFA4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$E28AB887-2C1E-4EC9-A5F7-91166371A1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$F226B466-6E63-471E-A6C2-8914034F1687","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$EE3DE2C2-427A-41C6-8831-412BD752887D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183545$82ED2FA0-BF8C-480E-B66B-1CBADE9858BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$7909D29E-B6F1-4729-A698-0098D5210397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$59294E6E-51A3-4263-B0E2-6DCBA2AF6041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$DB33D83F-336B-43D4-A64B-6AA5B42F3331","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b22f5dd9073e21401785f8f8c718702f06e3041","datavalue":{"value":"5618525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$0FCD12CC-8EC1-4C83-8784-8BA01167A75B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$FEE8B585-F5B9-4663-AAFF-7320160553E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$1A8CCFBE-9E37-45C0-B230-9AEFD967DA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$EE88E610-0F8A-49BA-9A96-B124A5CBF32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$178318DD-175A-4C35-879E-8E1A5828132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$112331FA-B489-40E2-BFBA-98FF2E5AF1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$3B70FB53-274C-4CD1-AE81-B8DB12E7EB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$395552A0-587B-445D-A686-20F452FECF0C","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":"Q3183545$BD584B05-DC3A-48EF-8C2E-E6B652224AE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb17a5c0045f830ef3a11bf3a557ab5c2dc2b42e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183545$325AC98E-B342-43F7-B64F-EE8EBAF42422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81bca7c4acb934987bac063757bbb38998badab8","datavalue":{"value":"W1482572800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183545$51978402-5FB7-4D46-ABB2-E0DC99EF66B6","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":"Q3183545$7D89AA90-F94B-4EB8-8A36-BB6632A21864","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":"Q3183545$7025D841-3125-4389-AED1-E2C9E5E12C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$22241D7B-4B65-4CE4-9616-8BC5D56EC954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecb7ca921546abfc1f0a7794b5d3820f6b2470e","datavalue":{"value":{"entity-type":"item","numeric-id":3543658,"id":"Q3543658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$FC044B64-A977-4B65-A029-C5AA27A7F864","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":"Q3183545$0ADC9527-735C-41F0-B122-C79A1F084EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$B9B66D14-A1B0-4270-AB45-E40AD6554BDF","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":"Q3183545$C69E3931-D6BD-4785-8026-5A041F12C065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$DDEE5374-B0E5-4374-A44F-B8EA650BF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$E4F77446-BE15-4C37-B3B4-217DCBBD4230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183545$642595DD-ACF5-4EB8-B6B2-CB55D4A3E3B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4413ccc9ff1d95352c9a2afe1ef977852e8f6412","datavalue":{"value":{"entity-type":"item","numeric-id":5277869,"id":"Q5277869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57edc39a83b9fbcd26f5c390b77ad60e021eb58","datavalue":{"value":{"amount":"+0.8680094480514526","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":"Q3183545$8E6A015F-73AF-4B4D-B0D9-B4ED59434ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bc03cb680b4c911a46a3c73e584ea48416515a","datavalue":{"value":{"entity-type":"item","numeric-id":5389153,"id":"Q5389153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca2f5d66ee9df2e4a0c12bbb25d61e0a1f08bed","datavalue":{"value":{"amount":"+0.8674737215042114","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":"Q3183545$77C48B5D-7B33-4115-BB1D-7BCCA90B1297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d5624ace0144ae139f076458cfea517e275bd15","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3f0cacdbbd4e928ef199fd578f7ab61be92a65","datavalue":{"value":{"amount":"+0.8454038500785828","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":"Q3183545$8D3149D4-D79F-4906-9FEE-A795C8374327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2193349921f727d97553a84af02c9cea8026d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2914748,"id":"Q2914748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5f33418c1ba4a8cad95e535142181e4c91745c","datavalue":{"value":{"amount":"+0.8430583477020264","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":"Q3183545$544A287A-51FF-474E-B9D0-901FC002EF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41219a08974f1820b6a934c8c33bf903d59a40e","datavalue":{"value":{"entity-type":"item","numeric-id":3088004,"id":"Q3088004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b782d16dd7ea73a8f6d560a3a019dd9cafc1bb","datavalue":{"value":{"amount":"+0.8337352871894836","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":"Q3183545$2214B47A-F12B-4A81-A8CB-88CA17E00C1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3183545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3183545"}}}}}