{"entities":{"Q3608788":{"pageid":5638694,"ns":120,"title":"Item:Q3608788","lastrevid":50592152,"modified":"2026-01-14T12:18:29Z","type":"item","id":"Q3608788","labels":{"en":{"language":"en","value":"Proving Termination by Bounded Increase"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523793"}},"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":"Q3608788$C6DA6A95-952A-4658-9D35-1BC7D6C18F73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b971f45a23a6c374fd922e12ecf8cb5e579bb3d3","datavalue":{"value":{"text":"Proving Termination by Bounded Increase","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608788$C9A35BB7-884D-4FF3-BBA1-59B190E2BC43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf338ec7fe75a0d87b1371df2c7b0cfcaeb82a6","datavalue":{"value":"1213.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608788$2D961D98-E6B9-493E-AF1D-F1E6A648ED25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f299ad82758f5596c702ddbe0771993f782c76d","datavalue":{"value":"10.1007/978-3-540-73595-3_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608788$3EAB5D50-7749-4A7F-B343-5530BF07F866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608788$CC77EED9-7350-44D9-98BC-ABF3114304BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608788$E2415E12-4650-4461-9C23-3F169701BEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ee990ff2340f0bbcff6c70b6df29ebeaeba03d","datavalue":{"value":{"entity-type":"item","numeric-id":438536,"id":"Q438536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608788$CF75C598-D975-4D22-B1F1-4128E8BF0C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608788$93697DB2-7603-4426-A4C7-530593F60409","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608788$03D20DB0-4315-43D9-8A62-FBF3682CBB16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608788$A1687E29-2FF2-4224-BC6C-70431D1B599A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608788$7CA9DB4B-0935-44AB-93DF-3E637D04B253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608788$27DD7B39-F6FA-411F-8746-EE0E453D56CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f24406dc61aa824fb7857073c2e597f9201e938","datavalue":{"value":"5523793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608788$0624789F-1F81-49BD-A4BF-70D24ECC8D86","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":"Q3608788$4F4F58ED-965B-47C3-9E09-6D183F62243C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6412fea7000c0834f7afdabd21f021dc4b452c43","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608788$D28B7243-3545-4C38-82C9-26C154E45F4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa588be91e93947c0e07bdc4c9eaa9060d81c87","datavalue":{"value":"W1489253037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608788$C3504C31-3AFB-429C-A082-E86702CB01CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860888caf11b1a7f2a658c6defe59e4c32b8ce6d","datavalue":{"value":{"entity-type":"item","numeric-id":5327348,"id":"Q5327348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e88714c73bedd2a9f092dea314a6458d1a4923","datavalue":{"value":{"amount":"+0.8039160966873169","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":"Q3608788$8C0FA40D-6EB6-43AB-973C-6D176B86D9EA","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":"f72c10aad11310c9a949bf6d138ec8cdab37a51b","datavalue":{"value":{"amount":"+0.8015573024749756","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":"Q3608788$A6468340-8093-444A-992F-A754686C4EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9128912dc68fb41d9eccf562a42cffbfb9de60c7","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e121f024f83324bdc28a54b805f7415b93dc727","datavalue":{"value":{"amount":"+0.7902241349220276","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":"Q3608788$5B67EAA1-08F1-4C67-ABAD-8126EEE7D35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d97090c92740b923d7e8080abe5a8814fce72e7","datavalue":{"value":{"amount":"+0.7840090990066528","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":"Q3608788$1A506F26-B0D9-4FBE-B371-32AABAB59663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559f441ff0eee48694f4ac49e0aacc680d9ffe5d","datavalue":{"value":{"entity-type":"item","numeric-id":5055854,"id":"Q5055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811f61b33a2d24ad8eba3ab6dfab01acd52b12df","datavalue":{"value":{"amount":"+0.7829158306121826","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":"Q3608788$0D25E040-01F2-4610-92FA-CC088E50281C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608788"}}}}}