{"entities":{"Q1691440":{"pageid":1702181,"ns":120,"title":"Item:Q1691440","lastrevid":81996311,"modified":"2026-05-06T19:51:04Z","type":"item","id":"Q1691440","labels":{"en":{"language":"en","value":"Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6826632"}},"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":"Q1691440$5E3055DF-71EF-457D-B7E6-C971D08711BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdce6d772a55e4793d404113ff722492128d047c","datavalue":{"value":{"text":"Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1691440$0BA88087-3B35-4AF7-83A2-09EC02E795AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ae08753c74cc4ffb30b8ca1d30c379ec65f8c6e","datavalue":{"value":"1383.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$71D1A885-D0AD-48CD-8A21-CD3E6F95123C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"597e7c6eb524cee93383206b6314f9acbe57c39e","datavalue":{"value":"10.1007/978-3-319-72056-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$4648ACFA-2C32-42E4-A885-0DE84D663756","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":"Q1691440$BA835AE4-FD73-4FF8-8762-CB403AAF9CFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1318421d0fa26ef6ec4ebf721abdd7760f5b6f","datavalue":{"value":{"time":"+2018-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1691440$85BD265E-65B6-4533-AA70-B7BF7FA63189","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$36BCF854-2A05-47D7-9848-BA6911FF2A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$DA7ED095-AB7D-4C67-B176-585CE52E1621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$BD7565B4-1C9E-4D36-948F-230C747C5478","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18a1780d4b6a7bbc447f00de81a4f17e47f09b3e","datavalue":{"value":"6826632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$E3D1E479-B442-44EE-B6E5-02D71382B766","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":"Q1691440$656B27BA-00AB-4CBF-BFA6-EBA28214DECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7a2fc834c77750c6e13235a13306e7fa6dbfc0c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72056-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1691440$7B3959A6-F82A-4CE7-A0F8-1CC1BA18AED3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74a81515f1ed581168c9bfc6ec2987bd18172e8a","datavalue":{"value":"W4300724905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1691440$2EFCBB32-D40C-4FE8-9376-F70285EC30C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6266520cb99d98cbef5fa2b102cdf7035a67cf","datavalue":{"value":{"entity-type":"item","numeric-id":2282171,"id":"Q2282171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63de33d588f957682b7d5942af6b971fe049a744","datavalue":{"value":{"amount":"+0.9832215","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":"Q1691440$F27EF1F7-582D-4C37-AE08-A58AA177EF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2fa6a2f0efeb1bd88494c0a40c630634869da2","datavalue":{"value":{"entity-type":"item","numeric-id":2397839,"id":"Q2397839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2010eecd05a3042422222f14524e249b16eac3","datavalue":{"value":{"amount":"+0.98041546","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":"Q1691440$602E004B-3BF7-4222-BE70-023B9DB0A9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3582b80c9db2f85694ddd914790926b863eef3b5","datavalue":{"value":{"entity-type":"item","numeric-id":831527,"id":"Q831527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5613f3fe8b33cc597dda55bc1fbc48c282d2c89e","datavalue":{"value":{"amount":"+0.9751667","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":"Q1691440$EF87C9DF-6ADB-49AB-B32F-25B03344F5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5653579b1e8ed100adfaf389a9e6adb732461c26","datavalue":{"value":{"entity-type":"item","numeric-id":1002112,"id":"Q1002112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ff6dcd54695bcfe593efa2f868508351c77f43","datavalue":{"value":{"amount":"+0.9640514","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":"Q1691440$ABA4CAA7-5DA7-453B-8588-53337B79E28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7660a3377ba2ca2a7461ae184f412dfff09fcbfe","datavalue":{"value":{"entity-type":"item","numeric-id":888562,"id":"Q888562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94d1a1e487984909745b1bb685f96d99a417196","datavalue":{"value":{"amount":"+0.9347223","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":"Q1691440$7A54DB1A-9600-442C-9C9D-01FCC41A7BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a062e028c99fa76461e90716ca564a5684733f97","datavalue":{"value":{"entity-type":"item","numeric-id":407603,"id":"Q407603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abb48afef9acc774b043c3d091f67a6d7efce17","datavalue":{"value":{"amount":"+0.9229456","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":"Q1691440$1F977C6D-49A7-4AC0-A26D-4764ECB68B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b51f5285655ba2293533a8e4ed84afd3f90f15","datavalue":{"value":{"entity-type":"item","numeric-id":2454620,"id":"Q2454620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe343b596b1b346847e6c3c13969658321f363c1","datavalue":{"value":{"amount":"+0.9062449","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":"Q1691440$1F500180-5AB7-4FE2-AC1D-827A4B23E326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275e4caec48742ccf96fba2bc5605874cebbf3e4","datavalue":{"value":{"entity-type":"item","numeric-id":1963142,"id":"Q1963142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdcd4a36bdc514f538847d34dbd62e26c4fa110","datavalue":{"value":{"amount":"+0.8900393","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":"Q1691440$A6383795-6A51-4C15-BB39-BF0BC8D3040F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09447a8fef510877d9409262ed357553ec5fd799","datavalue":{"value":{"entity-type":"item","numeric-id":1327712,"id":"Q1327712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e38ac855c1e1789a4b891f7e1a7c5a839eb874","datavalue":{"value":{"amount":"+0.8676487","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":"Q1691440$A6FE8225-5D8C-4D4E-886E-7E04DCC7B064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0880d1eeee6bc332a5c1d8db094505caf9821a1","datavalue":{"value":{"entity-type":"item","numeric-id":1592477,"id":"Q1592477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530c883d40c279caf53adc1e13bbab7de88f4d15","datavalue":{"value":{"amount":"+0.8630752","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":"Q1691440$1FCA8315-3EE5-49B3-AFAB-BD55DFFF0CEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_foundations_of_computer_science._International_symposium,_LFCS_2018,_Deerfield_Beach,_FL,_USA,_January_8--11,_2018._Proceedings"}}}}}