{"entities":{"Q1401233":{"pageid":1411973,"ns":120,"title":"Item:Q1401233","lastrevid":67517445,"modified":"2026-04-12T18:31:40Z","type":"item","id":"Q1401233","labels":{"en":{"language":"en","value":"Automatic verification of recursive procedures with one integer parameter."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965267"}},"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":"Q1401233$6DAF9A65-920F-426F-95B0-0E74BBF93930","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f176fdd0c411415386a47a79c145af1397c62e1f","datavalue":{"value":{"text":"Automatic verification of recursive procedures with one integer parameter.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401233$493CECCD-A18D-4FFC-B500-9051F5CBCA5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2fbd940f8c5b7c8bdd79f141121da68fc40c95d","datavalue":{"value":"1053.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401233$5BA2DB12-A026-4FCC-AF1C-4CB72E270CF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c103f56928f64b15999b6f1e4207621b7c1334d","datavalue":{"value":"10.1016/S0304-3975(02)00397-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401233$CDB0810E-5F72-48C9-A732-D2C647EC1A8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$ECBFC6AF-BB60-4D99-83B1-CB1C180DB71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$52431152-F658-48F3-8229-0758CB7053C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$D45AFEFB-B701-458D-9189-D183199E83A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$F5F0C0AC-3000-46A8-BF6F-7BD2949D8EB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401233$7EAECBB0-6A0F-456D-A04F-F2D0A20A6474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401233$9379D860-0015-42E1-9B4C-1BF9B3A54170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c25b52609ea978e2f9c325e6557957431a5c535f","datavalue":{"value":"1965267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401233$DECED706-1EAB-4E5D-BDFE-75C4B3B56A28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401233$B1DF61A1-24D0-4489-9B06-F66048CF0CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401233$4D12736B-1577-41DE-A2D2-EFBBAC1B8028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbef6f32527112a2e6d0a5e8b8538cbe4534f574","datavalue":{"value":"Context-free processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401233$CD6B46DE-06CB-4194-A87A-DF8A4E97C83E","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":"Q1401233$1C2FB308-0D03-42FC-A44E-02F8E2518B3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$1FCB5C44-04D6-4958-BFF2-AFD3AC20FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d51787ebb8f2f656495faac1b54743656ef36ab4","datavalue":{"value":{"entity-type":"item","numeric-id":5878899,"id":"Q5878899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$A294839B-9036-46A5-BA42-1B1018746B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5354bbc72b7463906a1eb99270f6a5441bebefc","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$5CA284FB-F196-4DEB-9F82-2C9BC282CD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$7584C687-B94D-4564-BBC0-06FA8AB25A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc1e42883144705fb7eb08ad5b04cd023c2372c","datavalue":{"value":{"entity-type":"item","numeric-id":1163534,"id":"Q1163534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$3D066C5C-B059-4A43-AD33-513AF5C11BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94c553b83f0a7713e740de3f15b3f82b8fef527","datavalue":{"value":{"entity-type":"item","numeric-id":1115858,"id":"Q1115858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$520594B1-427C-4855-871F-B97FD24C27B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$A4DF6836-4AFE-4A16-B45D-2CF1367212EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6787cf19c39e5553bcfd0a20d96a921c9a185dab","datavalue":{"value":{"entity-type":"item","numeric-id":4536602,"id":"Q4536602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$D3F9FC9F-51B0-4F97-AEDB-0479B0703C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d66cd262f22ae18aa300f222dc6d2d96495e6a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4508393,"id":"Q4508393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$2D553C72-4717-4D3B-A4A3-702C3592D7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$8FDCCFA6-94EF-4BB7-BB07-A4C908B46836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401233$1C91D19B-C406-4A4A-B195-9B4CE9BC15EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcbcb276c93c2b2a8294419e6988d295d9d05f68","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00397-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401233$7B404CB9-3A06-42B5-A3B1-5A23B2FDDA20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c1d8c18540c9b4064b92211eade8dc36054f7ff","datavalue":{"value":"W2030788986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401233$39DB40F0-FF96-40A4-B4FD-33292B6AE63F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7198202ff149fe86277c97d853270955154c6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4785460,"id":"Q4785460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223df2752518f01b00640b81bfcc2de6e8f93332","datavalue":{"value":{"amount":"+0.985104203224182","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":"Q1401233$F881CFF1-4E2C-4A2D-98C3-9BA09B7C046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21087abe7ab8ea4a03d52101d4bc7b1f94c425b0","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d2dabf8f1deaf1cf664fe506e41e5a3ca0c708","datavalue":{"value":{"amount":"+0.7134779095649719","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":"Q1401233$FD4BA713-5074-42A6-9455-39ADCD8E27EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a446cfb5ece5cf4999e45d42785b5ab65763b70d","datavalue":{"value":{"entity-type":"item","numeric-id":5465847,"id":"Q5465847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce86e98e95c3c33627a394efa7789710fe980a1","datavalue":{"value":{"amount":"+0.7037022113800049","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":"Q1401233$C3D4C422-D751-473B-BF7F-2DD011A21756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a5d2f946679f96a6a773ca2cc20688680392d36","datavalue":{"value":{"entity-type":"item","numeric-id":2947875,"id":"Q2947875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8851e8862831d7779a42f8ff180083641c0612e","datavalue":{"value":{"amount":"+0.6995236873626709","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":"Q1401233$10291B9D-4944-4A12-8136-AC9FC7F471E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52924802f5bf2c90a9e458541a73a68e0936f91a","datavalue":{"value":{"entity-type":"item","numeric-id":4921500,"id":"Q4921500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933248b2fdc53217a11922a8144ebe5208c7200f","datavalue":{"value":{"amount":"+0.6955530643463135","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":"Q1401233$6E3BBAFF-6BC0-47FF-BD68-AE40129FBB66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of recursive procedures with one integer parameter.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_recursive_procedures_with_one_integer_parameter."}}}}}