{"entities":{"Q3434633":{"pageid":3445336,"ns":120,"title":"Item:Q3434633","lastrevid":90165317,"modified":"2026-06-04T19:27:04Z","type":"item","id":"Q3434633","labels":{"en":{"language":"en","value":"Size-Change Termination and Bound Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148621"}},"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":"Q3434633$43D20F06-D0A5-4F58-A2A4-FC2DEABDBD2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af715608a2de3b8021eec2efb8ccfcf5cf44debf","datavalue":{"value":{"text":"Size-Change Termination and Bound Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434633$473E9B46-E586-4691-B743-E71B1E2DB81D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f11e6592c35ab4342be5f9c87c43edafb301ff90","datavalue":{"value":"1185.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$8E005132-39A7-4A2A-98B4-0E5C279DBBB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43c42755c4d86ec357be3f63c746221291a9e964","datavalue":{"value":"10.1007/11737414_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$80258ED5-B42F-42BB-B1C5-5A249C993EE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434633$536C246D-2951-4651-8ACA-B118C55E8709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-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":"Q3434633$B28B3894-342D-43D7-815E-F9B14F75083D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$3C810DC8-2FD5-412A-9AF5-B25325966181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$EF0CE6B5-0A48-4142-9040-6CB0F05EBC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78da1206af3de3ab79fca8f4f212076dc9be9517","datavalue":{"value":"5148621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$3684DF97-FFD5-4807-87A9-CEAC8FDAF73B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d43150fe6ab874a0877ea185e67a974db94aef3f","datavalue":{"value":"Q57483910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$B2620E96-5C60-44B6-8228-35063E9B43ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67c9893a974a06f6af76158324586ac4b070e111","datavalue":{"value":{"entity-type":"item","numeric-id":1652870,"id":"Q1652870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434633$A5BE59A2-7F98-4090-A03B-F0C88BCA0BE3","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":"Q3434633$C1A46FC6-D71E-4E92-A20C-F1F57E65E494","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a736d2450721934be3cc60df5b59e67989537ae8","datavalue":{"value":"https://doi.org/10.1007/11737414_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434633$171C969D-15F0-43E4-A9EB-B09634F5BE28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03f4e9f65690938b1edabaf58edcb5fd45be0227","datavalue":{"value":"W1803315493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$43EA9048-DF88-4DC1-B23E-7C06F056AE35","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2e5d09fde18e04054012545299587f532cd00d4d","datavalue":{"value":"conf/flops/Avery06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434633$40C3B70B-8DC1-4587-8EAA-D83E93A20A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d70d8495821b4684202cf593e725fecab94e4","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f50507d9db38d6c32a823ffca61c0542e594140","datavalue":{"value":{"amount":"+0.8565174341201782","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":"Q3434633$CF8BF9F5-53EC-4789-9BD2-F828C59B3EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10998c287b200d6721264332bd926b12cdae593f","datavalue":{"value":{"entity-type":"item","numeric-id":4440336,"id":"Q4440336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0282e80eefccc72182b6678e14515f3f4925e67","datavalue":{"value":{"amount":"+0.8290373682975769","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":"Q3434633$1E44DF57-83E6-4B08-B42A-8FD71A25868C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a97c5bb7d0165e33ccb80697e3887838fe883a","datavalue":{"value":{"entity-type":"item","numeric-id":5404477,"id":"Q5404477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0282e80eefccc72182b6678e14515f3f4925e67","datavalue":{"value":{"amount":"+0.8290373682975769","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":"Q3434633$4FC6E88B-F5C1-496D-B685-105EC1B2B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f6a54ce0e809d3fd4a2beee18cb9f192656d57","datavalue":{"value":{"entity-type":"item","numeric-id":5899019,"id":"Q5899019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1067723b0b443becc19be85aecebd5c53126b081","datavalue":{"value":{"amount":"+0.8060308694839478","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":"Q3434633$A662DEF1-94E6-4DB5-8C17-81D6026ABEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680b4ce50056d1199fe7a2e6542875cbacc21cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5901015,"id":"Q5901015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47fb1cabad257bcab744ce1dd5793db892715237","datavalue":{"value":{"amount":"+0.8036261796951294","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":"Q3434633$FEF8093F-6E8F-4851-8692-4565084EADA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Size-Change Termination and Bound Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Size-Change_Termination_and_Bound_Analysis"}}}}}