{"entities":{"Q1745575":{"pageid":1756317,"ns":120,"title":"Item:Q1745575","lastrevid":72890097,"modified":"2026-04-14T08:32:46Z","type":"item","id":"Q1745575","labels":{"en":{"language":"en","value":"Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6861045"}},"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":"Q1745575$64334588-686C-4C7C-8DAF-CF84C5D53E44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0e426fc965eafab76522c6f937d838a4f8ce9bf","datavalue":{"value":{"text":"Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1745575$6A3BC3C7-C819-4453-B697-8E0B7793CCFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e64dc8e214451ca88a7a3fb9aebd36e89b58a6f6","datavalue":{"value":"1386.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$338C619D-5933-437C-B972-49BD9C59CE20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12ee210a6d5978d63225e289ca3761c5d73068d2","datavalue":{"value":"10.1007/978-3-319-89366-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$DAFDC274-41F8-4F6E-A3E9-079FB8B9613E","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":"Q1745575$9BE40E07-B62F-4E6E-BECB-7B91295162B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27401f0c0ec451342185690781fa9506a9acdf7c","datavalue":{"value":{"time":"+2018-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1745575$1D19CA72-C21F-41F3-A22E-2A9929B82CD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$0787B3F7-E3B7-4260-A717-F9CB94344025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$2838DA7E-B2D9-4122-AFBF-6486651CBCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$A318BE26-BA4A-4FA2-B126-4C9796C2A956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$E9A4D081-7756-4852-A768-35018F91D406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caec146d4f9ed69ccc76e81779e3364862927ca7","datavalue":{"value":"6861045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$69EFF29C-9CE8-4390-819C-C0CAB52B7D41","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":"Q1745575$29E9C301-1B45-4954-988A-FB589F012E8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b68e108e5cfc4f080a566f3c2f390ee8b8426510","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89366-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1745575$70E19D2F-A8C5-42F9-A3E8-9239E64FD2D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dbeaa4668b9d6cf3b9226d7ae30167dbd76ddd6","datavalue":{"value":"W2796377482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745575$D2D18656-2929-471D-B22F-8690BD3B2706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4e55fc9b1b8c75d27628775ac17f0fb2418802","datavalue":{"value":{"entity-type":"item","numeric-id":521665,"id":"Q521665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d4b1d92e5cb8012e74abfcc5fcca0cb74024cd","datavalue":{"value":{"amount":"+0.9580912","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":"Q1745575$44E9F2B1-2A3F-426D-8D99-CC542D835A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e75708dd7be4e550b2cd3564d8dc84dd85ea1f","datavalue":{"value":{"entity-type":"item","numeric-id":590108,"id":"Q590108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06afc78db6fd800056e76d7eb7af54ddd715868","datavalue":{"value":{"amount":"+0.9545588","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":"Q1745575$83BBD985-81E5-4F02-9A5C-280E985A9566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6b811c97d32c892614377201a4bb6b74bd27a6","datavalue":{"value":{"entity-type":"item","numeric-id":491659,"id":"Q491659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7194a9a357f4c8a2cd0dab7397c5cbbd528b293c","datavalue":{"value":{"amount":"+0.9509148","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":"Q1745575$D0AA1E52-0DF6-4E68-A089-49F6113D47E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598cb66585cfe70b89344961a6c979628a8b9722","datavalue":{"value":{"entity-type":"item","numeric-id":2633622,"id":"Q2633622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44d8ce79c988031dea02058f96091ca19a6ad15","datavalue":{"value":{"amount":"+0.949236","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":"Q1745575$580ED8A2-F4D2-46FE-92B5-EB661C4B1DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ce64c4a3514a459422b7f025529150d840df5f","datavalue":{"value":{"entity-type":"item","numeric-id":2441805,"id":"Q2441805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30215b563d1407c4f77859b9b0d05a042816bf2c","datavalue":{"value":{"amount":"+0.94907045","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":"Q1745575$6FF26E51-94FC-480E-9D2F-2FF1392D9D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff81dfa0be078d82dc4efaeae86874520023777","datavalue":{"value":{"entity-type":"item","numeric-id":785778,"id":"Q785778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8aacbfedd56ea986029daa67fab5126704a7bd9","datavalue":{"value":{"amount":"+0.9484103","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":"Q1745575$BBEC78F6-619B-4B2C-9AB4-C0DB499B7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a017d46a60830008806f84e6c4f710660f5f9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":2043104,"id":"Q2043104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc7fe9c9ce68b3dea4b4914912e71695e0dc16e","datavalue":{"value":{"amount":"+0.94809544","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":"Q1745575$02A99F5F-90B4-472D-A3D2-0CF979EB548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ddde92781b42d7700a30decfcda6853998b5e7","datavalue":{"value":{"entity-type":"item","numeric-id":6114260,"id":"Q6114260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004a83f5c58c81155e3e341bc2da1f443cc105aa","datavalue":{"value":{"amount":"+0.9467031","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":"Q1745575$02D3CD34-09BF-48B1-B817-82BD00719F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c2ad5bca7be5525297bf13d03976b092cf45f4","datavalue":{"value":{"entity-type":"item","numeric-id":6114366,"id":"Q6114366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5b597531cc20e20a512519d4b138e879fe7848","datavalue":{"value":{"amount":"+0.94224346","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":"Q1745575$0AF28B02-AA5D-434D-8734-520010D8FCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a748256eeb63d0e31b22c7c84609333090ff5092","datavalue":{"value":{"entity-type":"item","numeric-id":2268736,"id":"Q2268736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e1c058a86a1ae0175409789b5aee5c533134a4","datavalue":{"value":{"amount":"+0.93998516","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":"Q1745575$30C7F39D-3135-4A4D-A8C5-FA2DDE4B4DE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_of_software_science_and_computation_structures._21st_international_conference,_FOSSACS_2018,_held_as_part_of_the_European_joint_conferences_on_theory_and_practice_of_software,_ETAPS_2018,_Thessaloniki,_Greece,_April_14--20,_2018._Proceedings"}}}}}