{"entities":{"Q4592984":{"pageid":6622569,"ns":120,"title":"Item:Q4592984","lastrevid":58276506,"modified":"2026-04-04T13:04:54Z","type":"item","id":"Q4592984","labels":{"en":{"language":"en","value":"Decidability of the Clark's completion semantics for monadic programs and queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804549"}},"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":"Q4592984$0A7AE36E-BD9D-4274-BC1A-07C9AA504F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0910f2e36e94e804258acc8900295f4ea5fc10de","datavalue":{"value":{"text":"Decidability of the Clark's completion semantics for monadic programs and queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592984$9F443110-B978-4EA9-AEB0-1B7CA9F916A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cea708f7240ed121bcb4374c4c5ee6362fb1dbf4","datavalue":{"value":"1379.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592984$301990B3-8A06-408A-A4EC-35FAD217CAA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"832e467e107685bab94b7f11622d5f4a64fae0ba","datavalue":{"value":"10.1017/S1471068414000660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592984$198DFD27-3F10-4C69-870E-6AED79AD37FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f75c525b59172aebefa7238ec92b0f7c1a80d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2022771,"id":"Q2022771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$D9F1BB61-8B6D-44E4-9E30-3C3397CF3E00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$F52D58D5-F7D4-4958-8AF1-BD699D24D037","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592984$A1405C27-CC63-473D-8071-BE8B7AB1ABBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c898800980dd0adb1442d3da524752e8eb2aa91","datavalue":{"value":"https://arxiv.org/abs/1410.6505","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592984$A906EAC7-DB42-4FD4-AE31-ACA51506BE28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592984$8AB043A5-43D4-4EA4-AE88-940955032BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592984$A8D666BA-5808-431B-A4CF-3115E9F60971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592984$0098EE3B-21B4-44CD-B160-8F79763B6095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d8d1d59e4fd02a6f1c5b94c4f003a353ad5f08","datavalue":{"value":"6804549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592984$2B13BB7A-5621-4AFF-A72A-8A3048016288","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4b1b83a829f7d2074a908e84abe85eeb2f2344","datavalue":{"value":"monadic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592984$DAE9AAFD-CD1F-4E4E-BF9D-F7BD4AB251D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a03b339806894b4c1bf53740d97f1f603ee204","datavalue":{"value":"general programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592984$3E2F9775-4B5A-42EA-80AF-4C2008DA1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325d3e4448bbda491c98ea6a642de24330eaa6fb","datavalue":{"value":"Clark's completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592984$1536BBB8-8DA0-499F-9B8F-7A63147F3D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592984$613B24B4-0A71-46D2-A639-F531BAA086BA","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":"Q4592984$45FECBE9-22A5-4306-BBF5-4E5F666DD116","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$34C14EFB-02D0-433E-9C43-1A562C7646F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fab33777dce654ec72e44fec3119c509ea0bece","datavalue":{"value":{"entity-type":"item","numeric-id":4106190,"id":"Q4106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$84AD03DD-FCFB-44B5-82C0-CB339152608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$609084D6-A4A8-47D0-B9F5-645751A4D7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$01C6E401-3ADD-46F7-9397-CAB422226790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f058fc11f0835fbc642e6562d85bf3e5099c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1392280,"id":"Q1392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$793E1BD9-A897-4122-BC25-F7F176429F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f253e8860964ee69e5e13c68eeac73fee2a10e","datavalue":{"value":{"entity-type":"item","numeric-id":5958753,"id":"Q5958753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$60099875-D85B-4672-AAA7-408EC1DFEC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$EB77FAD3-D25E-4C5B-912B-016CDACCCA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$BCD492BF-2EAF-49ED-A6CB-F4C737BEB647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f659f5cb9a4e62cc17d9cc128525b253cba83c5","datavalue":{"value":{"entity-type":"item","numeric-id":4428888,"id":"Q4428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592984$94F33071-DB37-45C8-93BD-879139489292","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7ed9f26638be8dfa2c326f89a726e207a2adbe","datavalue":{"value":{"amount":"+0.7821517586708069","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":"Q4592984$F0573F73-1C4E-4E6E-917C-5177E2E99711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336144dabaf1aa9aaa46cb5c6a43c772783481ca","datavalue":{"value":{"entity-type":"item","numeric-id":3200532,"id":"Q3200532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7ed9f26638be8dfa2c326f89a726e207a2adbe","datavalue":{"value":{"amount":"+0.7821517586708069","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":"Q4592984$3317751E-0298-40C7-ACBA-9C2989481D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e2c006bcd3fcf2c6122adb3e70d16b183d84a","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e4e1f0a1ad8d8f7dafc31143fd0dd6103cd2d4","datavalue":{"value":{"amount":"+0.7731625437736511","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":"Q4592984$EFB23C8D-2473-493C-9C92-432F0AD4F1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4f8a1b7014bafb92bc1fc5b789a74447632890","datavalue":{"value":{"entity-type":"item","numeric-id":1190477,"id":"Q1190477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e4e1f0a1ad8d8f7dafc31143fd0dd6103cd2d4","datavalue":{"value":{"amount":"+0.7731625437736511","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":"Q4592984$01B82C10-450C-45BC-A0CB-4F9D6B860E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfd25a90f76d69f7dfb65b5a83bd48f204e87ad","datavalue":{"value":{"entity-type":"item","numeric-id":2939010,"id":"Q2939010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e8a2651340f61c7f530ac7d13e3ed2586a9988","datavalue":{"value":{"amount":"+0.7703972458839417","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":"Q4592984$447A6F53-47AF-47E1-8A60-912E62A78788","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592984"}}}}}