{"entities":{"Q789378":{"pageid":791226,"ns":120,"title":"Item:Q789378","lastrevid":64352373,"modified":"2026-04-11T19:17:06Z","type":"item","id":"Q789378","labels":{"en":{"language":"en","value":"Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845530"}},"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":"Q789378$720B573F-A946-40EE-BFD7-9EACD6518EFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0679b49ca1d8a7d9664c44c913b7a29a52724188","datavalue":{"value":{"text":"Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789378$4DAAD1E8-925D-4C3F-BDCD-41C8E570AEE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be3af39233229ac743d05742033636464a9d545e","datavalue":{"value":"0533.00026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789378$478486D9-C544-4CAD-911D-75317FCBF308","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":"Q789378$1E6DBB19-2AA4-49FD-898F-E0AB1A93EEAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q789378$2210F750-28AF-41E1-BF58-EAAA26C21E71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1051b953a775b5f6a36bda00ebfbcae3c1152c0","datavalue":{"value":"The articles of this volume will be reviewed individually under the abbreviation ''Logics of programs, Workshop, Pittsburgh/PA 1983, Lect. Notes Comput. Sci. 164''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789378$FC89A6FE-60D9-47BC-A21A-E9152B1091B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789378$9AF21889-12FC-41E1-8D25-B071E8EE8245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789378$E0242207-3676-4230-B841-728569ABCCB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9a8040a7b8bab6b9f56c117e0f8f8a9edae2095","datavalue":{"value":"3845530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789378$DC4561DA-4ED4-449F-A726-6B39D099D0CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dbb013bb62d5b88f3ec05467ca9efcd78f67c05","datavalue":{"value":"Logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q789378$380D29DE-D2CB-41D4-9DAF-0DE741474CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q789378$BB1666A9-3B25-467D-ACF1-CD89D717F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dbb4d0f36e99d4ab3bc2329ee0d26fe522045b4","datavalue":{"value":"Pittsburgh/Pennyslvania","type":"string"},"datatype":"string"},"type":"statement","id":"Q789378$8ED368BD-2A2A-4E34-BC7D-52E7AC6AAA1B","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":"Q789378$A9DFFF99-DD1D-4F63-95DD-5F7F173F4B73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8373bf3125a2afd972af8d258f3d158f94767de1","datavalue":{"value":{"entity-type":"item","numeric-id":5966630,"id":"Q5966630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b340b3dcdae8c74f345b3943c1c179984c3aebf1","datavalue":{"value":{"amount":"+0.93498826","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":"Q789378$30771C8C-16FA-4A5F-BC88-8816F29D6D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f49a74dab9f95592cd0dbe9711942a6fc7a274","datavalue":{"value":{"entity-type":"item","numeric-id":2266702,"id":"Q2266702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64965d05059693abbd6216199a8b0eaf7e07e4fd","datavalue":{"value":{"amount":"+0.915499","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":"Q789378$6CF7CFB6-41CA-4DC6-886B-6EEFD3EDAA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e30c57c7b0a0ec9823aa1f28ffedf191640f4c1","datavalue":{"value":{"entity-type":"item","numeric-id":4362335,"id":"Q4362335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409b9ad6813282719e86e9bdb4707680a0dc5ba0","datavalue":{"value":{"amount":"+0.87319005","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":"Q789378$30953E77-C754-4676-A675-72B4E3393E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dbc35f3290e03a46478b914f838e801d818c25","datavalue":{"value":{"entity-type":"item","numeric-id":1210768,"id":"Q1210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d559fa63efb3011393d99c1453ecb96fb878808","datavalue":{"value":{"amount":"+0.87225527","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":"Q789378$7CF9C3EF-E759-4188-A7DA-8A41045E108B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d937f29ca49d7c24ce33d09df7821a2bfe594e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4002277,"id":"Q4002277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dacfbac88f399e79b04db35a6326bad1805e60d","datavalue":{"value":{"amount":"+0.87198687","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":"Q789378$E747EE63-353D-4E29-A6F7-54380F4F39F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6245c17bc652d96954240d0afe0d094783b1f326","datavalue":{"value":{"entity-type":"item","numeric-id":3197780,"id":"Q3197780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7289be2dba307b773ff9ee14fb11507338607be","datavalue":{"value":{"amount":"+0.86571044","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":"Q789378$BD787AFB-21A3-4A83-BD52-9A3683CD3452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18e2dd34a0ccea9323a0b2bd41038fe7bc8cfed","datavalue":{"value":{"entity-type":"item","numeric-id":391371,"id":"Q391371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fca75ce44fed88646cfd67c3bf7c0373114043","datavalue":{"value":{"amount":"+0.8624021","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":"Q789378$35F07458-9A48-4381-9AA4-CB035BCADA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca7bca872e2b14b521a7061982f04f8d207b2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1947202,"id":"Q1947202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0747c5c67d0d382fc44efd314ec8753289bff541","datavalue":{"value":{"amount":"+0.8611541","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":"Q789378$D4DA6450-BD65-4088-9D24-53C5B41E667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede787a1adc092a4d0d2a4fa02fb417eccb6c961","datavalue":{"value":{"entity-type":"item","numeric-id":727871,"id":"Q727871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a3326234e4359115bf1a5a05fc6020b235a0fb","datavalue":{"value":{"amount":"+0.8605256","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":"Q789378$14F1DF89-428B-48D0-805C-150F57AF3329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4de41cf071909a76e0fd021985330d1f69104b","datavalue":{"value":{"entity-type":"item","numeric-id":4732421,"id":"Q4732421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c211db9575e031c0addd7db77fe36d96149f14","datavalue":{"value":{"amount":"+0.85977983","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":"Q789378$FC91F824-6E36-4E47-B7D1-77CBCE4B2F3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_of_programs._Workshop,_Carnegie_Mellon_University,_Pittsburgh,_PA,_June_6-8,_1983"}}}}}