{"entities":{"Q2914748":{"pageid":2925468,"ns":120,"title":"Item:Q2914748","lastrevid":51558131,"modified":"2026-01-18T18:56:32Z","type":"item","id":"Q2914748","labels":{"en":{"language":"en","value":"Certification of nontermination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084494"}},"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":"Q2914748$F4FF39F4-9335-4095-B6C9-4BF42533792F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"511cd0f64cd44dc73dd625fcd20bca69e668bb0f","datavalue":{"value":{"text":"Certification of Nontermination Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914748$0A95A3B8-8809-41DE-A58B-6E97079F8329","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bc39c0991d6958d6cfb592bb1a23a0e07a56cc7","datavalue":{"value":"1360.68767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914748$0F3510EE-F89A-484E-A81A-F051B522B1E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13daf71de8d9fb887d4a8c98e596d73f1eb0beec","datavalue":{"value":"10.1007/978-3-642-32347-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914748$EA3E7EF2-83BA-44DD-B09C-FE782539A47B","rank":"normal"}],"P16":[{"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":"Q2914748$BF5A0E43-FDE4-48F4-AEC7-1712A190A4DD","rank":"normal"},{"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":"Q2914748$BEC83229-EDEB-4D03-AC13-990E55D71EEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914748$3DDE510E-2CC4-40C1-9ECF-CAAAD55E00B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-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":"Q2914748$6E435F1A-E98C-4759-8632-5AFD039E0EDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914748$81831342-83BA-451E-A42D-7B0ED6AA14D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914748$0ACE62A6-9BE4-43A2-9C4C-D37E7F15469F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50a2a54555fd4502d6aa464994d44228a794ad00","datavalue":{"value":"6084494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914748$680BCFF1-C539-43F8-B647-6D8FCFA5EC15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159432ac9cac1a394cea4e22c25fa4a28cfcec9d","datavalue":{"value":"nontermination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914748$BC526CC4-861C-45E0-A921-B50A5A42678B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914748$AFA8B2EC-1D6A-418C-8AB1-7C59D90C359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914748$E67A4409-D5E2-4DC5-A370-9B6FFCEA4C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914748$EBF00EA6-6B85-46E7-A868-95B5E413E979","rank":"normal"}],"P1463":[{"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":"Q2914748$A032971E-1013-4019-8028-260345E39286","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":"Q2914748$16F56CFA-4066-4A11-BE5F-CB43391AF4BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"174044d52838613f55fb3ce67b4dc2d6896ba37e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914748$01F4DBC5-8ABD-4AC6-B690-23A2A192ACF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d6bfd309766a6b5099810e449f283aa670ce63b","datavalue":{"value":"W203185895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914748$1FE9BA74-5212-4584-B255-C20536B7041F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6820b31637afbb8c754faf410604838038581b9","datavalue":{"value":{"entity-type":"item","numeric-id":3401124,"id":"Q3401124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d419f4b9f22b214846f55895bcfe6636987f5fe5","datavalue":{"value":{"amount":"+0.8654250502586365","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":"Q2914748$653AFC6C-7428-45BB-9830-A45AE3947198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7686a1559586f19dc54d1a839b5cd4c8e0eefb47","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"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":"Q2914748$CE965481-F7AD-4A10-BA22-7B7EA667DA04","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":"7383af306f874466fe3120df95aaff068e38b8ff","datavalue":{"value":{"amount":"+0.8060091137886047","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":"Q2914748$BEAFA234-1EFE-4C67-8379-EA880513E1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9077fb1dcedf9dcefb3e3675292c8723dd49b791","datavalue":{"value":{"entity-type":"item","numeric-id":5277877,"id":"Q5277877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9485b3949f41e7e95ef66d8acad2fc0a15750997","datavalue":{"value":{"amount":"+0.7983347177505493","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":"Q2914748$986CD7C5-A983-4385-9B13-AA08D5C546A4","rank":"normal"},{"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":"45b721242d704268460566d37cd7b0d4acc8ff3f","datavalue":{"value":{"amount":"+0.7830181121826172","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":"Q2914748$31B71116-8B42-4709-B389-EB350B5F3315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914748"}}}}}