{"entities":{"Q3637353":{"pageid":5667259,"ns":120,"title":"Item:Q3637353","lastrevid":50705003,"modified":"2026-01-14T21:05:17Z","type":"item","id":"Q3637353","labels":{"en":{"language":"en","value":"Automata-Based Termination Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5577062"}},"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":"Q3637353$689BFAD7-42AB-426A-9065-DA08632974B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b19ee48229130f24506d0377b721020c302f1511","datavalue":{"value":{"text":"Automata-Based Termination Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637353$1E358EC4-943A-4025-B9BF-DB90D2CBB873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f005efba08c6d59e1b7e421be4629a7ea284224c","datavalue":{"value":"1248.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637353$8B1AAE12-98B8-40A8-88E7-17C9E945C48A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69226ff3ef6e5ca5898cac3a9927e7326e359a25","datavalue":{"value":"10.1007/978-3-642-02979-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637353$EB250B5B-FDF5-4762-AC88-BD4FD63D1BE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$3CFFD9B0-3D04-4FCB-A767-F3AAB0216DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$82CA6159-E113-451D-9118-DAE90F5F4658","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$94D73E06-9557-4AEF-9631-85DFA39FB3D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637353$10F7E0E0-5F2D-4B1D-A0D3-918F4FCECEA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637353$F78789B4-90A0-45C3-B8FD-61C72D9ACBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637353$95835B01-5438-4E54-B43F-AF7CA9CC137F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5801e0c89e1aff0f6a9ac264720a0e8827fff3e6","datavalue":{"value":"5577062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637353$22C4CA05-6C72-4D5F-BD46-6F03B1FF345B","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":"Q3637353$EB41D754-A68B-4DBB-A450-42FBDC306725","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2689c6fd76a569a6fffca135f07978596980bb89","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02979-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637353$3DA58B7D-9A98-4941-A700-30AA1A6EA6BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42e318a81effd22b4229c28a5748663946e13567","datavalue":{"value":"W1572650308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637353$8C1AA241-C431-4E14-AB07-6D4118304FC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e727b0a3ee59bc4e1c091872c304fb00780206","datavalue":{"value":{"entity-type":"item","numeric-id":3189800,"id":"Q3189800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$BB456955-4433-46E2-8F4A-B389075D5DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$7E30E330-9924-4A2C-B683-5CACDCE2A108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e6666d6abf8f2ec43ac1a604dc5ba74efb51c","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$6FC6A549-DAA1-4714-AEF4-88A5EE47845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$183A74C1-D517-42F9-B81B-91D1FDCD850C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d07a686abf4cfd8c3b87266fe0b19a84bae550","datavalue":{"value":{"entity-type":"item","numeric-id":5901227,"id":"Q5901227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$FD1B1C8D-3867-4259-9BD6-C89CA9D2884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e7b8bdc6acef9bf216ea38837cea12e448f3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$8B27CFC5-7E34-42D5-A8C9-CE7A10447F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$A4D49E6D-D548-4D0E-8C5F-FBECC67B1478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$3BC8BFB6-8E24-4031-8924-D97B9537D2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$44998CFB-4E01-4042-815C-0A5C3526FC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$2D269C13-DB3A-498C-B7B9-50898E76CF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$952C6E47-22BB-4D1B-99A8-FFDEBBF94807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660b5e0223d8e7f90650cde2251fed5bbb578fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3510793,"id":"Q3510793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$D1916C6F-854B-4209-A21B-477565769985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc147e554421b32de8151899e567ae26f219e3","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$9742EE41-48C4-4AFD-8D53-E6523B096BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b0d5580692c696fb3dc09deed3fdfe7457ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":3613390,"id":"Q3613390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$5B6FB6C6-9268-40DC-829C-95D05FC6C628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$974FA006-0C8E-4830-BAA3-FFC7C20AECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b59045408bdef02af3f5d84bef8023536de082","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$9F95286D-6C7C-49BB-B660-2CC7C949A37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$61204B76-98B6-4235-83E2-84B44221E408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c01c8d29aab9fe7795a3ca742c2d63f96bfe9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637353$756F7098-A927-4C74-B63D-A88A01B07B04","rank":"normal"}],"P1643":[{"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":"117ff56917d475d9d41028b2cee4cc35a87c5a29","datavalue":{"value":{"amount":"+0.9661063551902772","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":"Q3637353$53C97655-D5E6-4F98-9103-A9FF6DCD28FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56880656c1f3f374864944b6a74ec7ac4bb0f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3510793,"id":"Q3510793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c7d31834feab1573b2dbd6c6a0415921f22063","datavalue":{"value":{"amount":"+0.8315963745117188","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":"Q3637353$96A37EA1-E213-4F79-9B72-DA5AB62C4932","rank":"normal"},{"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":"2876d6c481f931bd6ba56f49c18e789ba31ca962","datavalue":{"value":{"amount":"+0.7767805457115173","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":"Q3637353$E5AB7AE9-C8F2-492B-A140-61F3A75F5E69","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":"7dd58521acbccd75b7d6bf8c4710f58ed4bae7e5","datavalue":{"value":{"amount":"+0.7742626667022705","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":"Q3637353$05B0C492-6760-46FE-A1D9-3590EB16FFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c97ae252c2ca3aaf8276235ec3ce09f37c42e1a","datavalue":{"value":{"entity-type":"item","numeric-id":3192191,"id":"Q3192191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185afdf6c1fe6598dd3ce633d10dcd79cc003823","datavalue":{"value":{"amount":"+0.7636017203330994","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":"Q3637353$3338D0C6-B5EF-4800-8FC7-342EB8FB4B3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637353"}}}}}