{"entities":{"Q3891741":{"pageid":5921646,"ns":120,"title":"Item:Q3891741","lastrevid":90897746,"modified":"2026-06-04T21:42:59Z","type":"item","id":"Q3891741","labels":{"en":{"language":"en","value":"Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3698356"}},"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":"Q3891741$A5E0ED7E-3ADE-466C-A7A6-A1AA4E79A1D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bed4c1340100c68248cd112b7533decb9964d233","datavalue":{"value":{"text":"Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3891741$BAB7048F-6275-48A7-A115-ACA4BC55336E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7754c0aa94f8dbc55d1da4b147e941beb7d08661","datavalue":{"value":"0446.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891741$333E8B3C-23EC-4FE6-9739-2F88D80E0489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2eb88d78020794fa7d44fbba183277104b7a341","datavalue":{"value":"10.1137/0209050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891741$196D429E-1572-45FE-9DA4-9C208218BE7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3891741$A8E996E2-5B58-4A06-9020-BEF7DF0220F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41e3810a404524abb9a8149be270f852d90adbf3","datavalue":{"value":{"entity-type":"item","numeric-id":1201294,"id":"Q1201294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3891741$2397840F-60A5-48BA-A68F-B6C98EAB68D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3891741$A7B770F2-230E-45BE-8B46-5E4ED4E0FD57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3891741$29128C8E-61B9-4AB4-88A0-B6ED8AF3F6BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7da407199a571caa1bd9b7339e6d777d8def600c","datavalue":{"value":"https://ir.cwi.nl/pub/10266","type":"string"},"datatype":"url"},"type":"statement","id":"Q3891741$541E853D-1F7B-4E21-88E7-D22F669E756C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891741$CD2D0D87-06A5-4CEE-88E5-BAE750B592CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891741$48BD50F7-3ED2-4BFC-9489-CB508B10923D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da420fafc5cb17811c8b03e1bca2e8797317eca","datavalue":{"value":"3698356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891741$550A58E4-9E8B-484F-8147-E9BCE2184687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891741$B2F569E3-30D5-4889-A18B-1018D235880C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891741$13D80E14-3422-4585-AEB5-5B712549C7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071bab7b75dc04a3aca1894025c82c8d9578b1ca","datavalue":{"value":"intermediate assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891741$B9117887-53B3-4CB4-BA6F-DA16D45BFBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf78a123dbdf7d0af092d1b62133334ec58d50b","datavalue":{"value":"relational framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891741$F1F49087-B51F-4466-AC79-16FD6C635A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b10b33357298159bdc126cb4fa88951410cb56c","datavalue":{"value":"extended state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3891741$3D6E1223-E7BC-4120-8528-A9680DA7A277","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":"Q3891741$E15BB9DA-E0CB-44F9-AE17-7F07BB5EBE04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e373032efe3dd546654e594a8c75146f4b01cf","datavalue":{"value":"W2003003800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3891741$8C238259-CFF5-4D92-AE28-CD68D607A82F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes","badges":[]}}}}}