{"entities":{"Q3527299":{"pageid":5557203,"ns":120,"title":"Item:Q3527299","lastrevid":50463920,"modified":"2026-01-14T03:01:03Z","type":"item","id":"Q3527299","labels":{"en":{"language":"en","value":"TPA: Termination Proved Automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347563"}},"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":"Q3527299$9C5235C3-D73E-431D-9456-5B02C0C36430","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"574004fea075e91a64acb47e983696918c311f91","datavalue":{"value":{"text":"TPA: Termination Proved Automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527299$A57AB7A2-CB34-47E2-AD9A-0A57C6BFF1B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"910c1d01017079486102d732ef3ca1ce6ad0e4a4","datavalue":{"value":"1151.68635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527299$9AA9E091-EC87-4122-9C13-434287224CE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a33e9e56257f5f70d6c12829b1899a41efb0a090","datavalue":{"value":"10.1007/11805618_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527299$D6186C62-FF61-4B55-93CA-407F2F5F3175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43147a09f38888bdc440722fa90e825a1545dbf","datavalue":{"value":{"entity-type":"item","numeric-id":843948,"id":"Q843948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527299$8FFDF6CB-8BDF-4E26-9A70-2D4795E897EA","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":"Q3527299$023908FB-68F2-45F1-B72E-A968A7EAA1A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527299$96EB41D6-43C5-421E-822C-4F4E2A4B233F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527299$3B5BD459-2D48-4B4D-A661-C8FD993235E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527299$F99C5FEC-7FF3-4E9C-A566-8CAE4C0C6AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091a870e3822e498144138929aa3cf8b1ee40671","datavalue":{"value":"5347563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527299$E205C988-CCDD-48EF-8757-1C5021F869F2","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":"Q3527299$9560C2BB-D0AD-4D9A-B8EB-CB876E4D73D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3b8841430a0cc30b84113eafe274adba7e92c8d","datavalue":{"value":"https://doi.org/10.1007/11805618_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527299$9E8AA7FE-1AB4-4050-A180-A63B9BFE0EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f2b2eda6c6062f705b2d02abcc7f754861cd76","datavalue":{"value":"W1953115831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527299$0863AE20-9DB6-4E50-A87B-DD37A1C01AFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e751e42e3a022146ef5c948880bc925ac2cac4e9","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0af38072c1b193c370f6592a4ee9a8cd5266d6b","datavalue":{"value":{"amount":"+0.8059201836585999","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":"Q3527299$657A0A01-B3FF-476A-B424-20E514D0F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30efdf4a0482619b878c35fc5f95adabcdb9e2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4447241,"id":"Q4447241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99748c0bbdf99c686e44cb6ac444b418e05a08c","datavalue":{"value":{"amount":"+0.8039613962173462","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":"Q3527299$3E8878E1-1385-4A2D-8885-92FDFB7F688A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f5970ed80505f70f7584058987ce68cc1abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26cb295880eabb77732b1edc9c9110d21dad2d5","datavalue":{"value":{"amount":"+0.795894205570221","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":"Q3527299$5C913B38-56EB-47C5-9008-9095EDA4A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4eb1de9692bd4a5efb433c155e896e596a3020b","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a629a55990cf2fe6545ff2a60ef32746de98e2","datavalue":{"value":{"amount":"+0.7958679795265198","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":"Q3527299$46B8F19B-9B9F-4F08-A2F8-F8398A1DC149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3366842136fc5098da90336de187648cc4944b","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130f97eccec94dcb3ac766017115536b3dfc2a31","datavalue":{"value":{"amount":"+0.7957442998886108","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":"Q3527299$04A81BB5-6683-4872-89E6-4420FE11557E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527299"}}}}}