{"entities":{"Q1351792":{"pageid":1362531,"ns":120,"title":"Item:Q1351792","lastrevid":67208178,"modified":"2026-04-12T16:03:14Z","type":"item","id":"Q1351792","labels":{"en":{"language":"en","value":"Static correctness of hierarchical procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984522"}},"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":"Q1351792$B2D84BAB-A969-467B-A35E-F35F6C28D347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d6a81cc3826350b93e71eb7fd97cd5e32e7a061","datavalue":{"value":{"text":"Static correctness of hierarchical procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1351792$D3111A74-093C-4305-BC25-FB974C3129D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b790618e042f97d070e6dd716a8b2d5cf89fb369","datavalue":{"value":"0871.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351792$B563A8F3-8A95-4569-A71B-13E9154A96BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65a8d81292c7e89eb407e949d1681327dfdd2a78","datavalue":{"value":"10.1016/0304-3975(95)00086-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351792$9549D87E-BB7E-429A-9BF4-8C2DF923412A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d335d38758832e72d934ab76956198e7e084cb","datavalue":{"value":{"entity-type":"item","numeric-id":685349,"id":"Q685349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$E1328737-9627-47D5-A1D3-D28093EB9B54","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":"Q1351792$21AAA7E0-EC2D-4EA0-9D5C-6CA739FB14F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1351792$5F0493D6-4C5A-4F72-AF50-0156E5208A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351792$AE1775BF-67B4-4B5A-8F9D-E3B7EA929AC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"473cc2e4d0bd0ffc8e4beea9e4efe9c5da7f508c","datavalue":{"value":"984522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351792$9157A624-051B-4A96-A181-C13C04A78E1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dcbdd24667131146db4958b9d1b2cd7f5189b30","datavalue":{"value":"opaque types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351792$8A2B39EA-35A2-4DE7-A7B7-6DFE115B330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b5738296e649e3f224e2b7a8e6ba9f1fbe80bb","datavalue":{"value":"subtype polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351792$C7137AED-9E08-4DBF-88E4-5BC33654C154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f3cf637619fc7a0e62688bdbc196d8ba7980439","datavalue":{"value":"flexible polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1351792$9BD87B1C-6E57-47EB-8D4B-14A76A32A2A8","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":"Q1351792$5B008DE4-88A3-40DC-B024-E1F84CDAF2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d34f642197c09e6484111f734768aa271f1d4327","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00086-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351792$B421316D-886F-4F89-86AA-08ED49DAF895","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f4e16cc802857666d66f7ef6d9d276c5e7fd507","datavalue":{"value":"W2078034662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351792$247C95C5-72B6-4763-BAC2-11B893C59272","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da94b862520f627d759bf82666ba16303eb6c666","datavalue":{"value":{"entity-type":"item","numeric-id":4855341,"id":"Q4855341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$CEAA9249-104B-48CF-93BD-935CC42A5EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a4c070589a05d5209b2e8418c45ae0419220a","datavalue":{"value":{"entity-type":"item","numeric-id":3851585,"id":"Q3851585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$F5C165E8-8B76-4B07-BE31-57E2F356555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$1A5A5F69-9D3F-47C3-97B8-ACE869C3C3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$EF6DA296-CC90-407B-A07C-78B9EB9249BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa4af43a1bbdde07597b1aed07e6d43222a7555","datavalue":{"value":{"entity-type":"item","numeric-id":3975167,"id":"Q3975167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$9A89AD10-1387-454B-8AB9-8819063B1154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50d40368897a957be45aee4c2c684d1aaca6b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4027633,"id":"Q4027633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$C1C7673D-A9B2-4D08-BCB9-3BCC37E6A962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a641253c0dd2643d8d30a193821e529ac7a6b837","datavalue":{"value":{"entity-type":"item","numeric-id":3815521,"id":"Q3815521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351792$F4C9D304-992E-4050-AD49-FB80921D0F6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd98c455ce59f3042662a85827e8723c6fb3f917","datavalue":{"value":{"entity-type":"item","numeric-id":4038679,"id":"Q4038679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$90A04C37-2B68-4123-AE26-062E2501EA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f023995df5f51186dac2357ccaa6ca94650f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2753759,"id":"Q2753759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387de8cb5968374252059fb1bd4450ab2a71996d","datavalue":{"value":{"amount":"+0.8684387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$6BF6E355-038D-4446-BEA9-BABBF4FD670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1004d1d63697fa29fbb94134fc37a4d117cc8b7c","datavalue":{"value":{"entity-type":"item","numeric-id":6116577,"id":"Q6116577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083a1030b61e127f1544a426acb671d7eea78903","datavalue":{"value":{"amount":"+0.85866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$71F23BA1-14E7-42E1-9118-D9C499BDAF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f378310b224daeed1f44796da1481a4ea5888213","datavalue":{"value":{"entity-type":"item","numeric-id":3741013,"id":"Q3741013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea8351c25aa7fdb4c128286be85353b66a0018b","datavalue":{"value":{"amount":"+0.8585735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$C42EBCBF-F848-479C-9EE0-E5CAEC3BB353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5650778121b2629ea7e55609155e4a285a230892","datavalue":{"value":{"entity-type":"item","numeric-id":1910975,"id":"Q1910975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3845af3ea504d6ccbee6ea17595ca30e5abf0be2","datavalue":{"value":{"amount":"+0.8522853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$D897E305-F8A3-4D39-943E-36CDE48A94DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9e1cd52c3d3baa1559a5e0f334256e000c8b","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae961d32142bfdb81c2b8f27b5f06d7789daf35d","datavalue":{"value":{"amount":"+0.8455753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$011078B4-5FA5-43A7-AA56-A13FA35EDD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd5e72035d79a621330ff55045fba553ded24c3","datavalue":{"value":{"entity-type":"item","numeric-id":808721,"id":"Q808721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77a571c4a247f5bd7abab8c159b41f983975cff","datavalue":{"value":{"amount":"+0.8446245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$B9BBCEBF-4F1B-4D12-9D77-4E84C4B61285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fffccf655f88c6fafe663938f5b7a1c65a641a","datavalue":{"value":{"entity-type":"item","numeric-id":1822931,"id":"Q1822931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c9fb9a1f1a6726f6aa29e42661ede70605adfd","datavalue":{"value":{"amount":"+0.8407623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$FBE6A49C-C237-44B7-9C53-2E3B35C8C563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464c11ac3b1d801089c951fd46d87ef06347b2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5505563,"id":"Q5505563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dcba5ea73fe897d0d7ba433b0e781f7f1c85b31","datavalue":{"value":{"amount":"+0.83963263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$612BEE9F-DB58-492C-81CB-D1B1F2E5ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739f691991fb3291f88407ebc1b3242b5edb8d22","datavalue":{"value":{"entity-type":"item","numeric-id":414908,"id":"Q414908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5777108cd68425b029483c4c2d1706a4dab714","datavalue":{"value":{"amount":"+0.838425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1351792$833F055B-26BB-4C6C-8E62-9654FCADDC4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static correctness of hierarchical procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_correctness_of_hierarchical_procedures"}}}}}