{"entities":{"Q3129506":{"pageid":3140222,"ns":120,"title":"Item:Q3129506","lastrevid":46734240,"modified":"2025-12-25T12:02:25Z","type":"item","id":"Q3129506","labels":{"en":{"language":"en","value":"{log}: A language for programming in logic with finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004626"}},"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":"Q3129506$4F07F723-74FE-4F92-AF8E-CFC7C6515E1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc6e854127d014a68a22911b7ead849b656ee44a","datavalue":{"value":{"text":"{log}: A language for programming in logic with finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3129506$A62F1579-0506-4D61-9A90-9553290C0654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f490a16f053d663ae855f5af933929b11d315a45","datavalue":{"value":"0874.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$00A84636-027D-4957-8CA5-0F1D2E03B871","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eabc87534e13543cd945e0228fee423e43baa334","datavalue":{"value":"10.1016/0743-1066(95)00147-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$A9C10358-8F63-4FDB-A505-1303E0110380","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ee95eed4ca024e7da7af55e9d7b99b24c7e015","datavalue":{"value":{"entity-type":"item","numeric-id":206864,"id":"Q206864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129506$42E54018-4B97-43E1-8FD3-DFFDA37AFCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51981e552a27139a0fa909d29b61875f9cf710ae","datavalue":{"value":{"entity-type":"item","numeric-id":206865,"id":"Q206865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129506$611BFE9E-2C7A-4074-9F38-66FE9AD49BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129506$F334F0FD-1AFA-440A-8A55-AAF9E27585AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129506$FBE2B079-23DE-44B7-B295-6E6B12894C09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129506$10E9D6A4-38D8-4A9E-BB32-CD31579AA078","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"723f17e9f8561cc274a12066e98f02324dedfa99","datavalue":{"value":{"time":"+1997-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3129506$DB8AC667-27DA-43E3-8243-DFB7CD71B22D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$779C4DEA-53A6-4315-A0AF-6EC106B5C2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$C468023A-A6D1-41EE-87FE-23F28F350BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"777dbeae9bdfdfe0193c77b3176f7d06b2f7afe2","datavalue":{"value":"1004626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$53A3F392-2EDB-4C57-A589-DFF686C1B994","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab85d384ef69d7e37066179f6af5f817410fe04c","datavalue":{"value":"logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129506$80892C54-294D-4E2B-9DC5-73C2277BC890","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67ab57db525618767b8b9c3a93fa8b6faf1a2a1d","datavalue":{"value":"Q57840361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$6305C589-34AB-484E-A573-B8775547D0CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129506$ED851522-2C1A-4326-A530-7FF61FD894BB","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":"Q3129506$4BB8C5AF-429C-44C4-A7F8-0493FA854529","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db87e1efb2da2270d6591c1a902282cf3ae69af4","datavalue":{"value":"https://doi.org/10.1016/0743-1066(95)00147-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3129506$58AFE801-AB16-42C2-95DF-17B08B8D0648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7180e55bb541c8cbf62a8b4637aa6ce718078c86","datavalue":{"value":"W2036311242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$A7229434-5214-42E6-8B7B-F5E9A3F42CE0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4d17c544fdfd7e96975a32afb22094d45d549543","datavalue":{"value":"journals/jlp/DovierOPR96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129506$5D8F1457-DFF5-496F-8866-9655772851FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5120f2fa716c7b24e1bbbd962cae5170edeb9e","datavalue":{"value":{"entity-type":"item","numeric-id":4385449,"id":"Q4385449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625949cb0a75a9baeebc7bd76607e75be840c67a","datavalue":{"value":{"amount":"+0.8356858491897583","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":"Q3129506$F408FADD-C76E-4DF3-8609-A31018F19B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b1f6ce1641c27a5f784493b9874a87d7eade9a","datavalue":{"value":{"entity-type":"item","numeric-id":5087785,"id":"Q5087785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e051e0704cbb579fdf68f4f258600e7749ffbb","datavalue":{"value":{"amount":"+0.8354230523109436","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":"Q3129506$E8E4CDC1-ACE5-4590-BC28-2854D3A066E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf07780ed48af6011da97f978af5c34ddd6bf447","datavalue":{"value":{"entity-type":"item","numeric-id":909435,"id":"Q909435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bac05e3616f007f9b5c3af03bd2689de3b2b264","datavalue":{"value":{"amount":"+0.8063573837280273","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":"Q3129506$725FE565-5E6C-4E22-A584-F463BF451576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd9e6afe319841d3353cf1098d10fc967aaaeca","datavalue":{"value":{"entity-type":"item","numeric-id":1271565,"id":"Q1271565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c52de13fe0ad25d7a195fa58013b7a5ff0cb335","datavalue":{"value":{"amount":"+0.7996990084648132","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":"Q3129506$73A27FE2-16A6-4612-B15B-F5A71E45955F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3129506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3129506"}}}}}