{"entities":{"Q3525007":{"pageid":5554911,"ns":120,"title":"Item:Q3525007","lastrevid":50456651,"modified":"2026-01-14T02:37:14Z","type":"item","id":"Q3525007","labels":{"en":{"language":"en","value":"Certification of Automated Termination Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344252"}},"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":"Q3525007$B972D70A-C9CA-49C7-85E6-99DF4E6B931B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa6f394189bdc4ec94954f2d7f04fd9c8795a893","datavalue":{"value":{"text":"Certification of Automated Termination Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525007$AC11DC2F-F81D-4EDB-869F-902574F0BFA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07e1abfd33a23b2bccde627e06b5870cc9dbda11","datavalue":{"value":"1148.68465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525007$4B638D41-1378-4559-BB54-08396C886566","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eb9d177d4109b59312be7626ea04a8cc1db0ae4","datavalue":{"value":"10.1007/978-3-540-74621-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525007$81DC75A4-F5FD-44D3-883B-6212299BAAF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$35B28436-8D63-4025-9246-A07B09EB30AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfcdce602f947ea2b49893140570219e6c30f521","datavalue":{"value":{"entity-type":"item","numeric-id":483060,"id":"Q483060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$9C7F205C-5155-4A1E-9CBE-82EB4038E807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56edde208bf248962b68bd4f23acb521eb5af39","datavalue":{"value":{"entity-type":"item","numeric-id":2467564,"id":"Q2467564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$8F6F9AE1-6CAF-4579-9D3D-BABDF8093CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f62068e8a2da23dd7ff743c1bb63e81e79c3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2769424,"id":"Q2769424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$207CD168-E7D3-4330-8BFD-E83BF15F284A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99601cd1ef3148b698a6343b127ea54820fa08e","datavalue":{"value":{"entity-type":"item","numeric-id":483062,"id":"Q483062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$8A83294F-DBE5-4F2A-A465-ADC0D17B3A59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$3654DCE9-D650-4F9C-AB7F-48D58A3BE68A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525007$A7240111-DC0B-40B7-88F5-5A8BC4DFE147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525007$8FD41C6C-DEA4-4633-B05C-953DE35BC208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525007$8546D401-F6EC-45DB-8097-76DF1ED22A3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d8b29534f82ac82ddd3a86c26a2b931fda01be6","datavalue":{"value":"5344252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525007$4D892AD5-F778-4BB5-B490-4D1A76D71BD9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525007$B9F037FB-00D4-4780-B612-ECC7A0E17009","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":"Q3525007$B056626E-52EF-4C3A-9052-DC786D17EE6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"533c4ebaf13de4ecfe026cdb80d0c62701ae66cc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525007$2255DD08-0649-4193-B265-01BA45E5D16F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5fc42364d5047dd48709ceac887870c4b57e35","datavalue":{"value":"W1541688478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525007$84E9E2C3-F687-4F6E-9245-84AC1E44522B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1442ae786ddf5b7da675aeeb5d82bed77e3b7f61","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383adadebe1959a478c801779edd04c6db0d7837","datavalue":{"value":{"amount":"+0.8454686999320984","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":"Q3525007$D8FADDD4-9813-4C44-AAEE-CA1953452B41","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":"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":"Q3525007$BE92022C-0927-441F-A157-A81DE7B95C94","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":"d48d1cc3c8fc7668dcead44b7c6cf21ea1eb5119","datavalue":{"value":{"amount":"+0.8106042742729187","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":"Q3525007$00B1CD2D-CD19-4AE5-8AD4-AB195D3E10E7","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":"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":"Q3525007$F9AF25DB-F839-41EA-83E7-B75B21C549E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f0638a8c38776d201be9f988b1fd4a259df9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5448658,"id":"Q5448658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcb241ff59240b165d7c8404e80c84e801daf0f","datavalue":{"value":{"amount":"+0.7951760292053223","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":"Q3525007$802DAF31-97DC-4A88-8722-82F3E4BDE794","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525007"}}}}}