{"entities":{"Q3721786":{"pageid":5751692,"ns":120,"title":"Item:Q3721786","lastrevid":50692196,"modified":"2026-01-14T20:03:52Z","type":"item","id":"Q3721786","labels":{"en":{"language":"en","value":"PARLOG: parallel programming in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951982"}},"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":"Q3721786$C906ED0F-DC09-4219-B7F1-F97188CA5923","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8060cd5f16a2857b4b35efd0a88cd7f9d26dcf3e","datavalue":{"value":{"text":"PARLOG: parallel programming in logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721786$2D7CCB23-EABF-4E8E-ACAC-D02B98DE439D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"418aa0257bf7d0aca37dc955dee6505bedf2bd4b","datavalue":{"value":"0592.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721786$781144A1-D964-4025-9722-BB35500943F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a51a6eeb9ce40f3d6f1af3ac0f2f7b0851773d9c","datavalue":{"value":"10.1145/5001.5390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721786$DFB72B00-26F2-4398-9F11-0DE1541C5FC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f3c7c06c372f48eef7de3859990938014aa81fa","datavalue":{"value":{"entity-type":"item","numeric-id":596468,"id":"Q596468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721786$8F0B82B4-73C4-4B25-B22B-E8952F185FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe7d61c7a93af54ecf66810be424bf76d5bdab8","datavalue":{"value":{"entity-type":"item","numeric-id":1115580,"id":"Q1115580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721786$AC60326C-721B-4172-A519-D4CBA5345389","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721786$5BC9AE70-E248-4A63-AC37-0F4B10DCDB98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3721786$F99F9CDA-BA6F-4B3C-A4C4-3308E3A33D27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f257a68f7271491b752b7aebf6657ab56265b7","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1986-8/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3721786$8DDBA513-F291-43A4-8A98-0A652238BB53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721786$4A914295-A667-4575-9FCA-7E87EB320647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721786$A5E2C185-3F1B-4D3E-8777-B3B59772E80B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dae8a1ad805d4ac6e74be5ec368377ba2cfc913","datavalue":{"value":"3951982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721786$53FB6A65-D0FF-4746-901F-80F9F8AB837C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2cb9373396dbad9b017996c689b1d26b1a4274","datavalue":{"value":"and-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$7BFAFE47-FA85-4C7A-AEB8-4EFC43D26769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$45592770-7067-4ECA-8B1E-96E4B2DB8766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165cad925c0085e42143badd538641571a3dcb29","datavalue":{"value":"or-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$C5A50A0C-F7D1-442E-9058-8C569E9A62C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003d3d19a053181f46a4ecf249493937eb4848d","datavalue":{"value":"parallel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$7D671159-60F4-4F1B-BDE8-5F0E1DBFFDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$BBBC360C-24AC-4242-B28C-856B6CBCC932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f05f5770f72a32b80edc4262e6bb7eadeffa7c","datavalue":{"value":"PARLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$0405A0CF-AB5F-4B87-B0AD-2B8E395037F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab85d384ef69d7e37066179f6af5f817410fe04c","datavalue":{"value":"logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$121445B1-4792-4A50-8BC3-001CF76DBA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$3069EC7A-7FD5-4905-9B04-D72500CE72CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ccfae88c8b8b4c504cef7f6168df1da445e1d70","datavalue":{"value":"parallel modes of evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721786$D80CA3B6-F6C5-4045-A29A-B4DEFCD3C3A6","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":"Q3721786$75E73464-1D27-46B7-866B-6388135FF1E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fe7f1aafe5c3fd02214116d245087bbc64bc511","datavalue":{"value":"W2143326699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721786$F11C5787-D2D3-4B85-854A-FB963FF58FC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3147985e1f9b35dce06bfdf17d46ae949a74eff6","datavalue":{"value":{"entity-type":"item","numeric-id":4723274,"id":"Q4723274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5921163c7924d8da91ab99b600121aee4d44f2","datavalue":{"value":{"amount":"+0.9097715020179749","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":"Q3721786$ACF22D77-B2E8-4BFA-A8B2-D4AD1D20B8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4a74f0dfc4d4542db85848fc013c7a4714f093","datavalue":{"value":{"entity-type":"item","numeric-id":4288282,"id":"Q4288282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1502b3ed3f75e0f9ad1e1faf84899b6a8e96d7eb","datavalue":{"value":{"amount":"+0.8727599382400513","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":"Q3721786$E8A1C5BF-0FDE-4ED5-9301-5EEBF2DB8A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599c4c0550a1ee79f748e4ac39b6ea68aa75e8da","datavalue":{"value":{"entity-type":"item","numeric-id":4721627,"id":"Q4721627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1502b3ed3f75e0f9ad1e1faf84899b6a8e96d7eb","datavalue":{"value":{"amount":"+0.8727599382400513","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":"Q3721786$3602E7DE-B69C-4E42-9495-C644E490E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be2216a803e9e9a74c4665f7ad17371e9b5c457","datavalue":{"value":{"entity-type":"item","numeric-id":3694655,"id":"Q3694655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fccf0602e003abf036546dbaceb9f3c0c5c8fad","datavalue":{"value":{"amount":"+0.8489426970481873","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":"Q3721786$265CA22C-86C2-4CC3-9284-532EED6E57E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457034cbba70adc551346688d2080d8aa6564b06","datavalue":{"value":{"entity-type":"item","numeric-id":1819929,"id":"Q1819929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa4c9dc5605a1ee45f1d45338a1dc48649ac057","datavalue":{"value":{"amount":"+0.8389714956283569","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":"Q3721786$1E2D99DF-00FC-41A0-A69B-7B6E26990B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721786"}}}}}