{"entities":{"Q2804944":{"pageid":2815682,"ns":120,"title":"Item:Q2804944","lastrevid":52524977,"modified":"2026-01-22T21:14:38Z","type":"item","id":"Q2804944","labels":{"en":{"language":"en","value":"Inductive completeness of logics of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578012"}},"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":"Q2804944$517A71AB-CE9A-463D-A59F-588455D3EE93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"150f46abe75e0d6d79b60d336fbfc90fda1856ab","datavalue":{"value":"1234.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804944$AEB8ACB6-355D-4CEB-AB45-346B5CC6F0E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$C580F270-4EC5-4971-9A5C-0CC0E3C52C96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$3BA6109E-429A-4C48-A797-F00C4DE098CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-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":"Q2804944$3550C7E5-5C3E-461E-9169-F5D0CA66B70F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804944$0109A271-5550-4CFC-8A88-41ED259425AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804944$D74D1D43-EE7E-40D6-A824-45E4F22C1D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13a51cbbf46f49c9aaeeca9ffe6806b7429861a1","datavalue":{"value":"6578012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804944$F6D2C6FA-16C2-4AAC-9435-6CC5284A1BEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804944$B3091B9A-E0E0-407E-B2C6-9829581C9CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804944$B5C3BF02-98BF-49FA-9F56-8EB1B68230EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd0b3510521c5e6560fe69da7c6ed54d7ee3350","datavalue":{"value":"inductive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804944$26E764C6-7FEB-455F-B132-6ED6C1F4D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804944$31595FAE-7D5D-41EF-8905-F864FD853EB7","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":"Q2804944$78DCDB69-C152-4CDF-80C8-3A99C7B564E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"673b593c240ac7e6f332a25ef46857925dc907f2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.119","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804944$C3F50209-40E7-4EA3-B251-2D7DE3EEFCAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f76b987c5102742675314dddc32674c461a8988","datavalue":{"value":"W1977335112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804944$867F8794-0270-463D-8399-2F1B0122A614","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96e0513c85da7c96ca3b09df4d8e825e73cf13d","datavalue":{"value":{"entity-type":"item","numeric-id":4790404,"id":"Q4790404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$CDE2AE32-A9AD-4938-8B3D-C96F1F129FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$0C831634-BE1A-4D49-9E04-5213E805E323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$184CA0AF-E227-4313-90E7-E3F2C16C11A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$9D9A4773-7022-47AC-AA28-65B383A7821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$63FBDB00-597A-4602-BA0D-697729990297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$E958104B-BC03-4B07-83D7-B80E500833A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$EF5A496F-E2DE-433D-8D96-15B6903AD82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc357cd598a72ecda4ffc6253d643b848c1d87a","datavalue":{"value":{"entity-type":"item","numeric-id":5452190,"id":"Q5452190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$C4E04FBA-0B53-4FBC-9E0A-C1F393D4ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$2D8FEFF9-F38A-4884-8F15-52F530E9B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25e95fd75b91ec2b0f3f17b94e3863b372aef85","datavalue":{"value":{"entity-type":"item","numeric-id":3936170,"id":"Q3936170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$A0CD595E-9015-4B85-934B-C33C3B96B1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f27615ffb9dc31bd6a0cb75134d70590e425e","datavalue":{"value":{"entity-type":"item","numeric-id":3323258,"id":"Q3323258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$16082F5B-872E-45A9-ADE8-CD65EA565216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$D1D06FAB-08C4-4BD9-9247-29BD67DE9DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e388df98ffb3c87da06916b2ebf7f79e5efbed6","datavalue":{"value":{"entity-type":"item","numeric-id":910396,"id":"Q910396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$E1A807BC-8237-43CF-83FF-452C356829FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dab1dd721b67663a8dd53f566457bd02266d326","datavalue":{"value":{"entity-type":"item","numeric-id":3734374,"id":"Q3734374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804944$7CE24C20-4CE3-410C-BD1F-0CC9350CA56D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a16a366081be1f216e9e9083506aeba8ac1ca462","datavalue":{"value":"10.1016/J.ENTCS.2008.12.119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804944$1F2FCFB3-8F9E-4EBE-AD15-7B0BDE7AAD33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc2212459c909342ffdded75734e9475fd20419","datavalue":{"value":{"text":"Inductive completeness of logics of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804944$1341247F-BAD9-492C-9C50-3B0F2E10DD95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcfbe2ac44a0dcc2f5957fdd3687861fdc199a5","datavalue":{"value":{"entity-type":"item","numeric-id":3617722,"id":"Q3617722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa65361bec5c41395d6c5d8898bed25a776a9ce6","datavalue":{"value":{"amount":"+0.8139631152153015","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":"Q2804944$F86EA408-2972-4593-854A-B11C29BD348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46277e6900b2769105161d602e31a446d835350a","datavalue":{"value":{"amount":"+0.8086495399475098","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":"Q2804944$B6D8320A-3AB2-4195-A155-D2396328BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ac6b0f64190dcc05b3c57ec6b4db56341c915c","datavalue":{"value":{"amount":"+0.8016934394836426","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":"Q2804944$53B37903-0132-4A74-88E8-9F39FFA3AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7166dd5ef0a8bd51358129bb060a01a66b8b9b3d","datavalue":{"value":{"amount":"+0.7939016819000244","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":"Q2804944$0CE50598-6A85-4FCA-9442-F74E77B6624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548cc5bda5831215f94b697130250e0d9115dca8","datavalue":{"value":{"amount":"+0.7935625314712524","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":"Q2804944$CBDA57B9-D3AC-45C9-8293-7C8BC0D4DA25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804944"}}}}}