{"entities":{"Q6045001":{"pageid":13179157,"ns":120,"title":"Item:Q6045001","lastrevid":93746399,"modified":"2026-06-05T05:01:48Z","type":"item","id":"Q6045001","labels":{"en":{"language":"en","value":"Syntax-guided termination analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689206"}},"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":"Q6045001$B4098DB3-BA4C-451F-BD20-23F094BB84C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb036d76d323fd92a8b0f95e295c1d4817802b1b","datavalue":{"value":{"text":"Syntax-guided termination analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045001$1A6F4948-1488-44A9-965E-8D47C3EC0A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93c7b4ad8ccc134016934e476cca8ab5e7619eda","datavalue":{"value":"1511.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045001$F81E2704-8D25-4184-AD03-DEFE79905703","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"035fdc68113ca409283c8bc039aefdfec0bb72c3","datavalue":{"value":"10.1007/978-3-319-96145-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045001$8AB29B12-3EE3-40AD-BBE8-A18B13FF3885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045001$3781A7B9-7B86-4E02-857E-8EE6119EC4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0be3906e1e89d082fa47b421fae0cc089eff023","datavalue":{"value":{"entity-type":"item","numeric-id":2046016,"id":"Q2046016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045001$665FB23A-7866-46C0-938C-36F1B69CD588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045001$6A2B301F-86A6-4D2A-A284-CDBE9B4B1F59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045001$35F8C281-ED93-472D-A571-8E4D974586CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045001$F6A82DED-4312-40AE-B67A-54E6F500858B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045001$E559A819-38A4-48A6-8B2B-23ABD02F0E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045001$5F9B9943-E06F-4802-9378-D27B98E60875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22dbdcb29aa89735e96d848a59e4bba2b7d9343b","datavalue":{"value":"7689206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045001$FAAC64DF-5B7D-41ED-9587-F5E65A85A8E8","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":"Q6045001$4F5A765E-5E28-4696-A734-AC980580B3FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"351f674438fbc787d37cf78b5952e6b40c988c4f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045001$1D52BFA0-D8CA-4C40-BBEB-B8EC8AFABA88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c32e6dcda1425896c0379a82dd720e1b3b16f12","datavalue":{"value":"W2883453547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045001$C3C27F9B-65C5-4D40-9EB8-20887919A5E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712ca67f92282d0a546c8e6fc3e426d1727f3909","datavalue":{"value":{"entity-type":"item","numeric-id":4537515,"id":"Q4537515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef211daa6dba40abc87d716d68c4c484041339c","datavalue":{"value":{"amount":"+0.90467495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$B019110C-1BA1-4C07-9CA7-3FC0EC2F359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7068c1b1f6449b37669279fb7a45eab68ac0094a","datavalue":{"value":{"entity-type":"item","numeric-id":4453197,"id":"Q4453197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a611149226a253eb101f074c1521c8e0ed4da8","datavalue":{"value":{"amount":"+0.8636214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$BDA4F2D1-60C0-4589-AA08-136B7537DAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011bb976bc0ab786d219ba00f4f911c31e6690bf","datavalue":{"value":{"entity-type":"item","numeric-id":5501461,"id":"Q5501461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9fd5231e123db03d847cb3d0069ee2752051e2","datavalue":{"value":{"amount":"+0.8496897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$6D624130-DD69-49FC-AAED-A5282FD3381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1438b4a266085db3ceb6356f56505862cc321381","datavalue":{"value":{"amount":"+0.8493967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$304C9787-7FDA-47E2-98DD-934256262ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b049fb018ef319099e90e1d308a5e97b221d9078","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f55ca8bbbb30eb8bc909eb1fc9a333c7b59962","datavalue":{"value":{"amount":"+0.8481113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$55A345D1-4618-4105-B761-DFDA94025DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3f2c663e5959cd715ba18f686f0ce09e45756f","datavalue":{"value":{"entity-type":"item","numeric-id":4440317,"id":"Q4440317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f77c922d0eff3e19295d08ae90cf0e5c44d76ed","datavalue":{"value":{"amount":"+0.84664613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$8B85CB15-AE1C-4475-9D58-54D2CA4E5ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289ff16cb8f8a4c94c4d732df96d20f9767d266","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432e6df7fbef2adbd6aecb365e899986181776a6","datavalue":{"value":{"amount":"+0.8453358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$BA989404-4407-48A7-8C41-7F54B7A2D7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd2b34716553c69d880cab627c91dd7d5c0c207","datavalue":{"value":{"entity-type":"item","numeric-id":1094864,"id":"Q1094864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18f75c6f43f015a6b9bce3745e69efbf60539a9","datavalue":{"value":{"amount":"+0.84393305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045001$D433DFF2-19F3-4885-A5F9-A856311F9550","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax-guided termination analysis","badges":[]}}}}}