{"entities":{"Q3523172":{"pageid":5553076,"ns":120,"title":"Item:Q3523172","lastrevid":80636696,"modified":"2026-05-06T16:39:26Z","type":"item","id":"Q3523172","labels":{"en":{"language":"en","value":"Proof Pearl: The Termination Analysis of Terminator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318941"}},"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":"Q3523172$84DEF0FA-6C40-4352-9D0B-669237069035","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56a892223baacf98331918e3c2b9786ddc20a386","datavalue":{"value":{"text":"Proof Pearl: The Termination Analysis of Terminator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523172$BF22ADB4-14FB-4B77-A282-D0E264EA6304","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56dd2435ed9ade1c3f581b052211c5463c2ce2c7","datavalue":{"value":"1144.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523172$EE8AD7C4-BCE7-4CE5-8577-E353BC8B34B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dfe4dbceb6309a9d86e929227f94b79beb00c4b","datavalue":{"value":"10.1007/978-3-540-74591-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523172$3080D0D7-088D-48E2-9EC6-BDDF850BCE63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d9476515afef7e6c60583e2e3e73e4a129ab00","datavalue":{"value":{"entity-type":"item","numeric-id":1400287,"id":"Q1400287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523172$34E63242-883B-451B-BC7C-803E98DCCF83","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":"Q3523172$B1414C36-3578-4187-9FE1-4A13025D8CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523172$766B1843-B6BC-4E04-8FEE-44B7CEF6DC02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523172$138B46EC-5FA6-40CB-B2C7-D0774999684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523172$79FA83A8-1C3C-49A4-B15D-B4A0A1BA2617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c569ebdfcb753d277089452f771917027f1bf103","datavalue":{"value":"5318941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523172$5E0DCF0C-7492-4764-BDAD-D42AE65D00CF","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":"Q3523172$1780B63E-A71A-4EE8-8531-192023888F2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0ae21cbd7f5490be885ba3c8d1e06cf4f4600ba","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523172$B04EBF99-497B-4A6A-B8D4-29114DFD587A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"819d475f05a16d4689f1dbbbc66a8eb1aa76b832","datavalue":{"value":"W1571515995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523172$048DD7E4-F253-4DB1-903F-046332F5DB86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4158cea25c12969a4e5e602560ef98cee1218ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd10a2f506fece4190635113fcabea5667e2a02f","datavalue":{"value":{"amount":"+0.7881017923355103","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":"Q3523172$FE42EA07-FB36-4232-8225-D5DD28D33853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f6c22ec5bafdf3f2e0b3947cc61c0cde06a07d","datavalue":{"value":{"amount":"+0.7721487283706665","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":"Q3523172$694ACC2F-45DF-450F-8CAB-DD390A6778FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1b6a1c9029c3ad5ca754749e0fc55f78ae6b52","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12246aa0ae0869f76225e5225f930c1027eb1fa6","datavalue":{"value":{"amount":"+0.7714530229568481","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":"Q3523172$9BDC8128-CD30-4888-AFFC-F759D6AE029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f42df4428654d2f52eb9f2e51f1afc6e9495cb","datavalue":{"value":{"amount":"+0.7591730356216431","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":"Q3523172$77A82DAD-F56C-4DF5-BDB1-01663DC08AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e184b54aee7dbeee5e4b3c7420897e3a8e0c78","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53cc7cfdcf6a50e01a24c04d1d101081d653e59f","datavalue":{"value":{"amount":"+0.7559186220169067","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":"Q3523172$C8FFBCBB-C8E2-4717-9F40-25B1DA5AC367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof Pearl: The Termination Analysis of Terminator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_Pearl:_The_Termination_Analysis_of_Terminator"}}}}}