{"entities":{"Q1924734":{"pageid":1935476,"ns":120,"title":"Item:Q1924734","lastrevid":46404354,"modified":"2025-12-24T17:30:31Z","type":"item","id":"Q1924734","labels":{"en":{"language":"en","value":"The expressiveness of locally stratified programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937240"}},"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":"Q1924734$73E71C39-6321-4035-AA66-0B58F3D28530","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c44cce004dd4d2518597927d50008407dc20702c","datavalue":{"value":{"text":"The expressiveness of locally stratified programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924734$BC2C7B0F-E2BB-474E-8C9F-629460C88B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dd0244575e42ed498c1f2e436a42ec29f12c234","datavalue":{"value":"0855.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924734$0597BB83-588F-4DD2-8DC7-C7674748369E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890e0c70f9d8ca4b7e9040829ebdd8983a2f1901","datavalue":{"value":"10.1007/BF01534455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924734$CF261C30-8B7E-4C6E-918C-292938969060","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e05b97df53f02cde4a85e04e10089a0af0ea37a","datavalue":{"value":{"entity-type":"item","numeric-id":1262745,"id":"Q1262745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$0D3873B2-9FF9-424D-81BF-100824560BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$82D00A33-240D-4B77-B4E6-8D578648E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$DADC8FDB-44E3-4546-B8A0-EC7AA6BB9A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$791DADC4-6D30-43C8-BF7D-061B318BA02A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd7caf96ecf5732b58ceefe9206a5caa74d60fd3","datavalue":{"value":{"time":"+1997-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924734$271DCC70-7C7E-446C-87E4-2CD1184835AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924734$8FF88D1E-D8BC-49C0-94A3-43F958291103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"113a577fa04332602ee714d09255d3b9571a66dd","datavalue":{"value":"937240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924734$806BD9AA-729B-4282-93A8-36BF691362F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9eef459c35377bb8ed5f4f54e5b68503508e6e9","datavalue":{"value":"locally stratified logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924734$06CA57A1-CD6B-4563-A20A-33BAE38A8931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8757e3f2fe73b99a1a12492b9567b4bb230434","datavalue":{"value":"Kleene's hyperarithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924734$C2E7B476-1EAC-4250-AD6E-617AEA5D9B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924734$48C7CD2B-A201-49AC-8EAB-C54820147F13","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":"Q1924734$0F718646-C204-4A44-8EAF-CB7B2C513A16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05956bf43836025a1012618ff18dd51bd3c173f1","datavalue":{"value":{"entity-type":"item","numeric-id":3960112,"id":"Q3960112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$8B5856BE-C074-4B62-8DC4-ED3F27875E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$CD1FFEE4-D9F0-4026-868C-619FF55A07E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b0fc355d7fc7d93efd003eb851afde985ba8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3983042,"id":"Q3983042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$22330386-AB7A-4110-8702-F4DFE1868E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11ef0dda58449f200712db088b699d62dbc7885","datavalue":{"value":{"entity-type":"item","numeric-id":3477998,"id":"Q3477998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$F90454F0-C9F7-46B1-89DC-7078E5EAF2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0117d08f47be4541705f5468646c262baaf910b","datavalue":{"value":{"entity-type":"item","numeric-id":3348419,"id":"Q3348419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$BA52CA8D-3FC7-4088-AFAF-F6610E20B90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5fbef61deea61b01d69779a7921689b16e21f","datavalue":{"value":{"entity-type":"item","numeric-id":3043128,"id":"Q3043128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$128AF276-D4E6-4099-BC13-DD07C78D0616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62803e9ce76b1af1e3ac5f31a7cb7fd998ad8df0","datavalue":{"value":{"entity-type":"item","numeric-id":4318639,"id":"Q4318639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$D3552A0E-1AB7-4227-855B-0DA9F89C41E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$46069D35-61DC-430F-A4E9-D63E6BA0CEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07398a4f9f0ef4790030571f4f345fbf3243b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":3829537,"id":"Q3829537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$7F46B330-E09F-4E6D-BA21-4B0B21730161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$8CD98EA0-6990-406B-8E95-484ADAB87470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$3FF9BB59-DC51-4814-A2DE-86C7FFEEFF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$1B489A3E-1B94-46AE-AA48-42A6527DD2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$65A13E7D-954B-438D-8081-B20A00D18200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff329274d40bcc90d45b9589ebb6dd8805d9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$3401764A-46EB-4A32-BDF5-056F47F32026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2485593fa6a43c384d21c41a4d7e3bef4c2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1192346,"id":"Q1192346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$D5ED7DFD-9A64-43D4-929F-CB921DBA0ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$62E3E56C-A4CA-458A-A22F-700169D8DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$E5563A5C-6F41-4D94-B144-7A6B8787440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$EE20F111-94EE-44C7-B3CF-2D30F01D9041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$29BF01E7-2376-4544-82D0-8D0F03AE0272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$D745A2C6-4CB8-4AB0-8EA1-F47E5CE1753F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924734$C6DB33EA-090C-4D3D-9AE8-CE50324071EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453cf72ad424e107f20523dea8c491591b2b9a54","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17863bf06af049bec6a19ecfcb358de211e3e18d","datavalue":{"value":{"amount":"+0.8396201729774475","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":"Q1924734$0A9EB845-58F0-4008-8CDF-D22320059225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfa3025fe57d47a63c10de830a83b0a2b94f301","datavalue":{"value":{"entity-type":"item","numeric-id":3477998,"id":"Q3477998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a0c19c35f378348ec913807b3e96619dd398fe","datavalue":{"value":{"amount":"+0.8020620346069336","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":"Q1924734$3022DF57-8E88-4210-87B2-1600E53E597F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af0f1b8e2f5d8806f310a41b1b5793217a0a143","datavalue":{"value":{"amount":"+0.7879143953323364","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":"Q1924734$845D3C7A-0DB3-4007-A988-4FF776C5FE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27c7455f0343188f4e25eeeb60907e6d365e9d8","datavalue":{"value":{"entity-type":"item","numeric-id":1370630,"id":"Q1370630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8492f1a546882396ed929cfc2710ceddcc471fb","datavalue":{"value":{"amount":"+0.7854161858558655","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":"Q1924734$1ECAB557-1714-4F36-88E3-E9A5369BA94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd958883deeb9bba04aea55b296dd671709f097","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425275052f2f2181f55e6e58d5338947d56d178c","datavalue":{"value":{"amount":"+0.7853740453720093","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":"Q1924734$D9BCE9BB-A759-4C29-B924-D3412BF0493E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924734"}}}}}