{"entities":{"Q5030189":{"pageid":7059766,"ns":120,"title":"Item:Q5030189","lastrevid":54225545,"modified":"2026-01-26T12:16:13Z","type":"item","id":"Q5030189","labels":{"en":{"language":"en","value":"Proving correctness of constraint logic programs with dynamic scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474225"}},"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":"Q5030189$E51C13CB-4ECF-4605-85DF-07F82F9AC995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e8357aefdadd1dfef4fab078f0e76f8769100a8","datavalue":{"value":{"text":"Proving correctness of Constraint Logic Programs with dynamic scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030189$5662031C-C163-4642-9544-176C64DDAD37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6638ab8351ae30604f6f32c0e74ea679ba39e98","datavalue":{"value":"1482.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$10B410B0-7B1A-406F-8511-2E4E61DE28EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a97d37aa46ca7ada0f017a1d210ac9831972500e","datavalue":{"value":"10.1007/3-540-61739-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$BEDAE5E0-7CDF-4719-AB25-E028B04716B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$80334D57-F8E9-4081-A6CD-98D43507535E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$C1947499-9CF8-4E83-914E-63E8F291A202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$8402FA82-49BD-4E05-9BA3-C8A3E20B3E70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$5FD3A29F-FE95-49AC-97E6-0588884469BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030189$7058938F-CFD7-4A23-9E18-37BE9B79B077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$D175425C-D84D-4B20-96A8-8130CD1C186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$3581DCA8-B1EC-4846-A6FD-73DC945BBE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$C94B9629-687A-44D0-9A7C-86B2FC363099","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26309328200bd3aa88cbbe0ada37505510937a6f","datavalue":{"value":"7474225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$0AEEF978-A0D1-4147-A82B-9669CFE6F781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030189$8DBBF558-0BA0-45B3-857F-1FCF5BADADB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdd85a7386f40ddff7f6791fa1494a953da31b19","datavalue":{"value":"delay condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030189$BAD514E8-627A-4A84-8CAD-5A5688DF4982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273c1202c9fd5922fc2b82e146efb51fc9a50b10","datavalue":{"value":"constraint system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030189$17A8DF31-C315-4916-A0DA-02F4795AF40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030189$786DA1BF-EB34-4CCE-B573-C96EEC10E05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8211faac0852c4e61458d09473340905378ca01","datavalue":{"value":"dynamic schedule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030189$AB22E966-49C0-4991-A558-40E60D5D92AB","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":"Q5030189$9B15570F-5648-4FDF-B1C6-1F1EF2B3E8F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca0152c514008ad50649c480a5e6a2168e67c452","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030189$6B09239F-E867-44B3-8B99-B6BEED326DF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59504b2ddde02045d19d12df514ef97fd4b19a31","datavalue":{"value":"W2164547345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030189$2D29BC77-7770-407C-A2E8-D00EEA0B021C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$182E778B-9B31-4FBA-BDB4-6E45CF8B4D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b8c569075d3da1a1eb203a906a379a567bdb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4700387,"id":"Q4700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$93CD3E6C-7BEF-4E2C-BA41-3825BF222386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$0E742E60-741B-44D3-9290-B28F7E01615A","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":"Q5030189$9C99A50A-1634-4DB2-A15C-B38423EBBE90","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":"Q5030189$88DACE85-7FCE-4BDA-A4A5-265CAA04ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd4d37c74978248dc9e96b49498af42c4bab8b","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030189$42F5843A-42C7-4434-A91B-972F430791BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f48bb9df1ccb5ac2e2acbdbfc753b6a4ad7432","datavalue":{"value":{"entity-type":"item","numeric-id":4352542,"id":"Q4352542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c661fe850371164fc49c24ddcd886a7c5e37ce","datavalue":{"value":{"amount":"+0.8111506104469299","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":"Q5030189$CD47E96C-C64A-41FA-9397-8AF485D431C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f704edadbae25c9c6385e460c63e3af89f2ff985","datavalue":{"value":{"amount":"+0.7915377020835876","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":"Q5030189$2DE032C6-F38C-49EC-9C52-718438CA253E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6926bfd623ad97a34696a5b020fe0f0183ee6b7","datavalue":{"value":{"amount":"+0.7915376424789429","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":"Q5030189$6A4FE719-53F3-4EDE-A07B-1501C5DF2E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ba9724e95b8afda62d40b34f6c4b60d82932ad","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57749e4b52a21f87fdddf664e526bc5a72747dd","datavalue":{"value":{"amount":"+0.7786577343940735","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":"Q5030189$EBA598DA-44A3-4379-B191-9B7AB5E22AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae9e0964d0fa2b807359ab223f931bdaf6b3e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1368380,"id":"Q1368380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19718402dd9ba488bf4050cfb223ed74cae9e87c","datavalue":{"value":{"amount":"+0.7753746509552002","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":"Q5030189$E5B9359B-F7C8-4489-9147-07482DB1B270","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030189"}}}}}