{"entities":{"Q1595252":{"pageid":1605992,"ns":120,"title":"Item:Q1595252","lastrevid":67946823,"modified":"2026-04-12T20:24:35Z","type":"item","id":"Q1595252","labels":{"en":{"language":"en","value":"A first-order language for expressing sharing and type properties of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563577"}},"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":"Q1595252$388D4E4C-20CF-4ED0-B363-66BE6CE7487F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa4377c4752dafc2caba20254e5ce801be58f4b8","datavalue":{"value":{"text":"A first-order language for expressing sharing and type properties of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595252$ADB574E6-362A-4075-B85D-C772E23C6272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adba66c88b6e6c8c644d711a1a61ce4f2514b992","datavalue":{"value":"0966.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595252$DD902639-DF40-49EA-9EAE-9731A478B475","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c56b8ed157753283e6d7525608854c86b2e9a30","datavalue":{"value":"10.1016/S0167-6423(00)00017-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595252$49666921-C2E1-46A4-8332-48D6408DFA04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71df50d4123f0ea79d467671b14c60866ef73d12","datavalue":{"value":{"entity-type":"item","numeric-id":1595251,"id":"Q1595251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595252$B3F693FE-2703-4FD4-952C-82DC458B9020","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595252$512FE74A-BE17-4E5B-8882-6A3C32B4D3CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"504ba16b453e79d30c0da0d69897f097075430ae","datavalue":{"value":{"time":"+2001-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1595252$988595F4-C0BD-4AF8-BB56-2B01C8F5B497","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595252$CC587CFC-58D9-4B04-B97B-5F6617F08973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595252$4FBB4572-25D7-494C-9BD0-6C746F8FF397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2dea4d29c795e1f95e9cb673b4468290d6f41a2","datavalue":{"value":"1563577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595252$841E70BA-65D7-4D63-BDFA-7B02B5AC4CC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71621b155d01063f6f9c7c1fa21ae9551d368b66","datavalue":{"value":"verification of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595252$4D30027B-D9D7-4B58-89E0-B950AFD35618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595252$D5EEA951-A401-4E7C-87DB-73F3A5123D53","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":"Q1595252$FA3E49E9-036A-4450-80BE-70D32D2C46D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"773a9523dd817dac0756c7290435eff231283d79","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(00)00017-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1595252$CB47DC96-DD6D-44AC-8411-1CBFF08E0528","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0f7d7735c12d505303c60242235eec1c448523c","datavalue":{"value":"W2022418772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595252$21657440-CAD7-461C-B125-BCD397BB92A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe181603ddc7396f2417f68a0abebd7280d238a1","datavalue":{"value":{"entity-type":"item","numeric-id":4217929,"id":"Q4217929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2951273e95fc0ea8ef0b7b25578ec1582833532","datavalue":{"value":{"amount":"+0.9722699522972108","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":"Q1595252$F7EE81FA-5142-4F99-A36C-300DD23E887B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2e1fcbebee0a8d41a0a02b33c070a8bf2fb565","datavalue":{"value":{"entity-type":"item","numeric-id":4537520,"id":"Q4537520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf6f94578ad700cf98158f8030079e797e49633","datavalue":{"value":{"amount":"+0.772891640663147","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":"Q1595252$21DD4C4A-FD14-49B0-8CBB-ABF3140C6649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b10e9e2e7b8b4d36cc43187e8cba053cac7951","datavalue":{"value":{"entity-type":"item","numeric-id":4939543,"id":"Q4939543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0351262339c86e1c5abefa36c731d1747f9c93","datavalue":{"value":{"amount":"+0.7577940225601196","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":"Q1595252$8315D465-BCB4-43A0-AC39-EAF61E318D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d576d4c1de6ef868f121da606928ef946e22783","datavalue":{"value":{"entity-type":"item","numeric-id":5466571,"id":"Q5466571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f936627dc6e85d5c8175227c1baf97dcbd073e4","datavalue":{"value":{"amount":"+0.7001956701278687","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":"Q1595252$9357699C-9EE7-4C07-8B50-40A83088FF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044f54d17cfe11188686fc783e67110dc7cda52d","datavalue":{"value":{"entity-type":"item","numeric-id":5308017,"id":"Q5308017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bb3c2dbc23ac1b1afd8eaf1a39ecea6e627dcc","datavalue":{"value":{"amount":"+0.6980787515640259","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":"Q1595252$14140158-182E-458E-B633-6614878358F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A first-order language for expressing sharing and type properties of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_first-order_language_for_expressing_sharing_and_type_properties_of_logic_programs"}}}}}