{"entities":{"Q5475789":{"pageid":7505348,"ns":120,"title":"Item:Q5475789","lastrevid":96429536,"modified":"2026-06-05T11:13:01Z","type":"item","id":"Q5475789","labels":{"en":{"language":"en","value":"Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5036428"}},"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":"Q5475789$48FF8B0E-4D8C-4599-BC70-172C3A6732F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbfb669dfd4837754a088eb054019a38c1e6d0ff","datavalue":{"value":{"text":"Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5475789$3D9F28F5-7C17-4F4B-9E0A-D4701D5CFE42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f6233016075413b3e76a2515ae8220322f6168a","datavalue":{"value":"1165.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475789$FD543486-2755-4AA2-8B9C-E30633B12D45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8105aaebb84f152bbf6c63eeb6ace010bbef923d","datavalue":{"value":"10.1007/11562931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475789$E9BB3185-E076-4B62-AB8B-ACDD675549D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5475789$9076415F-9E64-4A10-B4EC-2393EF58EA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5475789$8BB9537C-9E3C-4A29-915F-A4DF0198F7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7593f574ea128cf94ee0991f4586716cfb90c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1787787,"id":"Q1787787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5475789$8C2F9163-0C43-492D-80BA-D37582C0DB3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5475789$E515186D-8F09-4340-BCCD-275E4942B8B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2100ced5bb0fc7a2f2d75de03e2412195897a08","datavalue":{"value":{"time":"+2006-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5475789$C100A999-7DAF-44F6-B53B-23CC73B40AC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475789$D9291B3C-340A-414D-9DE8-378817BC698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475789$4D487FB2-A2F8-4411-8443-847F2D749EB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bb5c7207b2ce89490644f1bdbf16f0f7e1041d2","datavalue":{"value":"5036428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475789$9793495F-8D61-434F-8A08-A7B8C15A4628","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92489b3af87588e66fa0a99dfb446c67adec9168","datavalue":{"value":"Temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475789$D228152C-2922-4C96-91D0-E5571868FFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755fd442488c3c9d14ae1d362d761b0ca35fa691","datavalue":{"value":"framing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475789$B28D515F-7DBD-4474-975D-A3F0FFCBD825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475789$A406CB39-2AAD-469A-AB60-DDE01DD41180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475789$0319A668-7D47-49B4-B4FC-E738D43159B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5475789$0578A8DB-8149-4782-B68C-5980C563A4D8","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":"Q5475789$DE221242-6AD4-4CF2-906C-94BA8B7F39AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41b55dcf2ab1ba1226de5f7c2cbf58bee4f003ca","datavalue":{"value":"https://doi.org/10.1007/11562931","type":"string"},"datatype":"url"},"type":"statement","id":"Q5475789$11A5ABFD-2625-47A0-B32D-35E249BA39DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7651d5b7a4c58c407e420857841ec460094aef35","datavalue":{"value":"W2104948204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5475789$7C6CC976-74FA-4408-83DB-E40A64146499","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fa77839ef225ec1e4292ef3cf0b7f8e7d93832","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6d1e0e6df21a4551ae73368ae255a0c3d95d28","datavalue":{"value":{"amount":"+0.9596771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$31E30EB3-C028-4E2D-9FAB-D8AD9B154599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af43d4b1a5fb221301552864c701733ee384587e","datavalue":{"value":{"entity-type":"item","numeric-id":5448808,"id":"Q5448808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e675c676f54354fd60982b451e67a2e356de1eb4","datavalue":{"value":{"amount":"+0.9596226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$8061BCBB-BCEB-4964-A708-409056A339EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6da4481702f471770ba1059fe65972179185a37","datavalue":{"value":{"entity-type":"item","numeric-id":2701986,"id":"Q2701986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0a71b770291f38bac043aa8fe1c07bd1073c8e","datavalue":{"value":{"amount":"+0.91366667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$6A01067B-2990-420B-9ADB-34282D0F8DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7298d42b09c9f008e3c2f2821656d52ed8cf83dd","datavalue":{"value":{"amount":"+0.91046774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$0D2CA1FC-2B58-4E62-A97C-564FAB236BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388ff584b5da83f8bd9d2543cb21ba08ff6a015c","datavalue":{"value":{"entity-type":"item","numeric-id":2185465,"id":"Q2185465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84c3b86ea063f5043d5a3dd1ac187f5c203b9d7","datavalue":{"value":{"amount":"+0.9077161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$76CE1692-C077-48B7-AF59-F279002C68D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f8bbb68459e0263ffcbd0d88c92c1e449d6593","datavalue":{"value":{"entity-type":"item","numeric-id":4736522,"id":"Q4736522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6279e2996742147aad2dfd07b49ab83404b4a62b","datavalue":{"value":{"amount":"+0.907266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$7B6DF1D9-A15B-4049-AE71-9558DE7A0EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb7603c4274ba6e2b59c8d21c6e07634f2c3d53b","datavalue":{"value":{"entity-type":"item","numeric-id":3384894,"id":"Q3384894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc37f7c3b7bb302b4f6b747de58cc824634f0ff2","datavalue":{"value":{"amount":"+0.9055988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$25A5F2E2-CC55-4DD2-996A-7EED9753EA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31dbfbfc322c1d1887678aca81fb2b624d659943","datavalue":{"value":{"entity-type":"item","numeric-id":5020577,"id":"Q5020577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09c1f38d310b062a76768db66d78de5769768be","datavalue":{"value":{"amount":"+0.9050442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$BAF2AAAF-CE8C-4B54-9EDA-45431CC35FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f424175d7fd6e3e29e1804c0b434e2f5967125db","datavalue":{"value":{"entity-type":"item","numeric-id":2946717,"id":"Q2946717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e572eccedf5cfbd8c9d174c3bae835de07fbbf3","datavalue":{"value":{"amount":"+0.90447086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5475789$F5AB97AA-5AC2-4E37-9687-0B4193266E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic Programming (scientific article; zbMATH DE number 5036428)","badges":[]}}}}}