{"entities":{"Q1326573":{"pageid":1337323,"ns":120,"title":"Item:Q1326573","lastrevid":70149249,"modified":"2026-04-13T12:46:26Z","type":"item","id":"Q1326573","labels":{"en":{"language":"en","value":"Bounded quantifications for iteration and concurrency in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 569296"}},"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":"Q1326573$CBB51D01-ACC2-477B-AF45-34F5CAE2A98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"775319bddb59122603282da4a086afd64b0aa5fc","datavalue":{"value":{"text":"Bounded quantifications for iteration and concurrency in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1326573$66D67BC2-A722-4A26-813C-8F0C528E8CEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76f8988e58cec73bccf3a5bd938be6e3931c7e1c","datavalue":{"value":"0804.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326573$01657DD8-CDE1-4D25-89A4-5D4EE2CBEC1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c54b00c92b9f938eb2c0bf58871d627c18d9ca","datavalue":{"value":"10.1007/BF03037340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326573$76109858-A440-4A35-8610-55B28CDA8451","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c73af4197433665df880eb34575b7b48a920c4","datavalue":{"value":{"entity-type":"item","numeric-id":286962,"id":"Q286962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$6E3F5389-D558-483E-8964-FADA3FFDCE00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$B4285149-2C63-462B-B5E9-E791417A09EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c18755801a88dcd8669b172a905f586b29f555","datavalue":{"value":{"time":"+1994-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1326573$A8FC78DB-FD5F-40AE-8D63-195F1A6E4EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326573$2BA25C16-AF19-4ED4-AF5E-07D9D236860B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4efccf89f767ae68ba3be391c391b34724d16a8","datavalue":{"value":"569296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326573$A8F04B56-02F7-45B9-8F68-A68181CDE9A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$2D284653-FCBB-4385-A849-EFC0356F6868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c001e65ee86bc11a3c561560784e9d6da8630f7","datavalue":{"value":"definite interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$1FFFAE51-9468-46BA-9D0B-7DFEBEF7F306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270f1a4769ce41d92ad7a61e341b778f67336e6","datavalue":{"value":"arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$D3A43DC3-DC7B-4376-9B15-A6247AD29EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f23f953915ba05311b7d0a9b903cf9601d8222","datavalue":{"value":"data parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$88C2917F-A20F-474E-85B2-6A53304DCF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$E9A9A3BF-D2A5-413B-B3A6-8710DAA1F5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$5D60FAC4-7D0B-4DEE-9637-ADAFFFF3CB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fd930476b90729c3eb418031858ac6a215b05f","datavalue":{"value":"logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$18777598-C224-434D-A9BD-2DF5665B2340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3d055264c78dbe5aaa44e69c341de12cdff13d","datavalue":{"value":"bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326573$C95B06DB-1562-4F2E-AED8-F71DD4607728","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eaaa18f24b6429a1a7810024a01c4ad8ffcb1a","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$BB7A540B-1C64-4D0E-8834-20AECE0F1DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$C2C00003-9186-4832-AD69-4827282DDDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$54191A20-44FE-4E22-B345-463A17E7AF09","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":"Q1326573$999955C1-1052-4482-AFE1-86FE5D5D0284","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eb16566a20923350b6a80c8900f9e3349b233a","datavalue":{"value":{"entity-type":"item","numeric-id":4281608,"id":"Q4281608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$DD4CDB80-4E53-43B1-A1E0-3EB29BAB9C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86ca66d1a34a65a74aa98c9ebc24035bd61ac4d","datavalue":{"value":{"entity-type":"item","numeric-id":4282500,"id":"Q4282500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$6DEAA7B4-F3EF-4FAF-BCAF-99147E506AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d2b08c8e60ab79ed6b436c918b29fd2ad819e1","datavalue":{"value":{"entity-type":"item","numeric-id":5688918,"id":"Q5688918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$E2134031-8B7C-4977-ADB1-D03897B13363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b09f58c2305df0b2d6f3b3a6465ec3e5b5904","datavalue":{"value":{"entity-type":"item","numeric-id":3129506,"id":"Q3129506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$58FE70C3-5438-4880-B55C-F3B21062F901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94de08579fdb4600625f8e9aff865488f3125027","datavalue":{"value":{"entity-type":"item","numeric-id":3703291,"id":"Q3703291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$F3012CFB-461C-4D75-A1AD-F6D0EBE19C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2aab1cc75972faf9e68a08e28da83e54befa46","datavalue":{"value":{"entity-type":"item","numeric-id":3732947,"id":"Q3732947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$CF9CC8E7-DD37-40C3-A8D7-AEE68ADC89BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b31a6cf78f72ff8d35b9ff69fafb6f02db1203","datavalue":{"value":{"entity-type":"item","numeric-id":3732946,"id":"Q3732946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$08722CE1-BF5D-4CDB-B24C-79375DA03DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$871B09EE-9EC3-4FB8-A444-029ADE1569F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$2B26931A-AFB9-4B7A-8A86-9C23E6BB55A6","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":"Q1326573$23D590D4-D81D-43CA-B2D5-A9145188849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$8F7191F7-E3C0-45BE-93E2-D1392E9A5277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76fbf04ef96c4d11803049527c5d9a6a32f3b78","datavalue":{"value":{"entity-type":"item","numeric-id":3999102,"id":"Q3999102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$92FB0EBD-9CCA-4193-A4E0-BEE6A861E7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5657d61bf921457ab85fe59909b2bb4066a408c7","datavalue":{"value":{"entity-type":"item","numeric-id":4692890,"id":"Q4692890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$D0099B48-4CCD-4167-BB52-31A3A058EF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29952e6d73ce2eba4a577f9905a2b718fd373a81","datavalue":{"value":{"entity-type":"item","numeric-id":908686,"id":"Q908686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$252AE671-3F19-4379-ADE7-9D211F4985A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46efcf60c16a1251747d7d76ece6a2da9ae25264","datavalue":{"value":{"entity-type":"item","numeric-id":4282567,"id":"Q4282567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$EF469BFC-5F58-4F88-98FD-4050478911CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512bae0a9f4c0a61f64d4047bd3dbf116e916b46","datavalue":{"value":{"entity-type":"item","numeric-id":3805880,"id":"Q3805880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$44D4BE45-02F3-46AF-BD82-CF8BF2FFC982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ce8e42183489f85c4ca6e1325967e23d4876e9","datavalue":{"value":{"entity-type":"item","numeric-id":4264062,"id":"Q4264062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326573$8059D31B-B071-4FF9-A9FF-17EE9EEA7600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9497653d5d95ad5efdb22bfc36e3a08133fda0","datavalue":{"value":{"entity-type":"item","numeric-id":5688918,"id":"Q5688918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3275bf81cb914f088a0838830d07e60e35be4e5","datavalue":{"value":{"amount":"+0.8777757883071899","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":"Q1326573$A136A605-4866-418E-855F-1FFD81FACEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e55cb95b17d9828643f4c5cc0244e77c257cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4282500,"id":"Q4282500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55f699fee981a6acb7effb88f7f0f2624d11274","datavalue":{"value":{"amount":"+0.7893936634063721","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":"Q1326573$D329B0B5-DD2C-424E-93A6-3B080462AB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501b764376d2fd372ab20a14aff50ea8a1f0a320","datavalue":{"value":{"entity-type":"item","numeric-id":4415101,"id":"Q4415101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662bbbe41f2f3eab8cf26688678e0cd93585e943","datavalue":{"value":{"amount":"+0.76991206407547","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":"Q1326573$752B1C83-60AE-4422-BACC-D13B1071ECF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa84de7f47c15417d6f85199bbd69c97a45d95","datavalue":{"value":{"entity-type":"item","numeric-id":4264062,"id":"Q4264062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34810ee92fb12a9e7d70548c73cb33262547dacd","datavalue":{"value":{"amount":"+0.7588700652122498","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":"Q1326573$74C3B710-CD94-4458-9D4A-AC43924E1933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded quantifications for iteration and concurrency in logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_quantifications_for_iteration_and_concurrency_in_logic_programming"}}}}}