{"entities":{"Q1294793":{"pageid":1305543,"ns":120,"title":"Item:Q1294793","lastrevid":67292799,"modified":"2026-04-12T16:39:28Z","type":"item","id":"Q1294793","labels":{"en":{"language":"en","value":"Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324609"}},"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":"Q1294793$60530DC8-E188-4557-8615-542BE1FE4793","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b3e6f394c08a61355ecd8389e2a9906eb340834","datavalue":{"value":{"text":"Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1294793$9C213176-F750-481B-892B-FBB095F7AFED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a62c300a36070b8fe0aa0224958772bb3ba5da8","datavalue":{"value":"0920.00044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294793$58B26334-70D4-4054-85B0-1F740144A946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294793$4F48DA3E-56C4-4794-8655-0BE5E833357F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-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":"Q1294793$60956267-1907-4CB4-8F91-C26A1D09D1F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc9346ad80f7335c53af0f30fee4ade3f52fbf32","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Ferier, Laurent; Raskin, Jean-Francois; Schobbens, Pierre-Yves}, Model-generation of a fictitious clock real-time logic using sharing trees, Eelectronic paper No. 10, [Zbl 0920.68077]  \\textit{Balarin, Felice}, Concurrent symbolic verification of liveness properties for interleaved models, Elecetronic paper No. 2 [Zbl 0920.68071]  \\textit{Fraer, Ranan; Kamhi, Gila; Fix, Limor; Vardi, Moshe}, Evaluating semi-exhaustive verification techniques for bug hunting, Electronic paper No. 3 [Zbl 0920.68074]  \\textit{Govindaraju, Shankar; Dill, David}, Approximate symbolic model checking using overlapping projections, Electronic paper No. 4 [Zbl 0920.68070]  \\textit{Biere, Armin; Clarke, Edmund; Zhu, Yunshan}, Combining local and global model checking, Electronic paper No. 5 [Zbl 0943.68112]  \\textit{Somenzi, Au}, Symbolic state exploration, Electronic paper No. 6 [Zbl 0920.68081]  \\textit{Renault, Sophie; Cerny, Eduard}, Improving termination of MDG-based abstract state enumeration via term schematization, Electronic paper No. 7 [Zbl 0920.68085]  \\textit{Campos, Sergio; Teixeira, Marcio; Minea, Marius; Kuehlmann, Andreas; Clarke, Edmund}, Model checking semi-continuous time model using BDDS, Electronic paper No. 8, [Zbl 0920.68076]  \\textit{Moeller, Jesper; Lichtenberg, Jakob; Andersen, Henrik; Hulgaard, Henrik}, Fully symbolic model checking of timed systems using difference decision diagrams, Electronic paper No. 9 [Zbl 0920.68083]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$0825BBE4-0772-4653-BE36-341C33D4B266","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294793$2A7A5407-1247-4FD7-917A-72C1C73E6E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294793$7203DBB0-3EA8-48E8-B928-1E0C6155D569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf57f7b065b7675da1656d81f12a447dd63a439e","datavalue":{"value":"1324609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294793$E8ADE5DE-7ACE-4F93-A79B-A6AF4D3D1165","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976db3ede86419f801052df2563dbb408e45e313","datavalue":{"value":"Trento (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$8BD29804-A4D0-4311-B4C7-23E739DC2A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$B884D728-32FE-49B5-B90B-CAF7448DF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$107C48BB-FE36-44AB-BC18-698FDD79E5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14942d542c4d802cde3c8ecfcdfcb6c20e76054b","datavalue":{"value":"SMC '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$7F636E24-3668-4D3A-81DF-BF3324095D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae49cf91076c37fa9bdc48f82649df7562deb487","datavalue":{"value":"Symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$EC1182EE-8A9C-4CC1-BDDB-0F4D4769CEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a92b0c6340cfaa69fbabd629b8c7889b6e4ce3fa","datavalue":{"value":"Federated logic conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$B7F69482-DA72-4F38-BA4B-CB03DEFCFA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9bc864afddd200fc59c0598e0f2507973cf62dc","datavalue":{"value":"FloC '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294793$990A0020-13C3-45CB-91F9-49A1C730911A","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":"Q1294793$73CC4A35-0D79-4B4F-AE0A-A6BFC1E70C9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ef7274ed9aa71b6a2d632df1e12082d143f56b","datavalue":{"value":{"entity-type":"item","numeric-id":368047,"id":"Q368047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d3b93161486596adbf02102f061121c0df909f","datavalue":{"value":{"amount":"+0.85503256","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":"Q1294793$2206689D-BD2C-4DB5-8D9A-62EB075AC5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d57d688197bda371fc03864698e70483c58a8fc","datavalue":{"value":{"entity-type":"item","numeric-id":360700,"id":"Q360700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4727784ffd28bbd989dc3db4d2448a96734abacf","datavalue":{"value":{"amount":"+0.8548267","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":"Q1294793$9B1A5367-7567-4605-A2D9-B96015DF8287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889ec01bee744794026ffdca82622b34bc6aafe2","datavalue":{"value":{"entity-type":"item","numeric-id":360084,"id":"Q360084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2cd086454127686daba4058cddb2d7311956179","datavalue":{"value":{"amount":"+0.8540927","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":"Q1294793$63AD091E-A74C-4DDE-A580-8511E4DD6E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a574f326f503b571cef3533b8d114b9f54f330df","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a301ed6a42801e8d1848fce80c11029d0d4fdb","datavalue":{"value":{"amount":"+0.8530595","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":"Q1294793$6A823BC7-F8A4-465E-A389-6BAED0CFA74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ffcf07eceec3e86a5d4251bed1b3030f39162a","datavalue":{"value":{"entity-type":"item","numeric-id":373596,"id":"Q373596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86094e8d14a7a7fcc555d47c1a950602e442417d","datavalue":{"value":{"amount":"+0.8451701","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":"Q1294793$EBCCFD3C-19AB-4635-9FA1-0F84AA5A28C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1199f58d69e9fcc4735f47520ad1371a6279a7","datavalue":{"value":{"entity-type":"item","numeric-id":373629,"id":"Q373629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e046bb1029032bd13eb67c05ca22b25913c64bc9","datavalue":{"value":{"amount":"+0.8440691","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":"Q1294793$F6AE16CE-2403-4D9F-BFCA-77A34575D01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f683277b3c94eef63b2f7fb5ccc2a8f7c8b4307c","datavalue":{"value":{"entity-type":"item","numeric-id":4440828,"id":"Q4440828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be98478206abaf9e5af1c69a7a90faa502007a7b","datavalue":{"value":{"amount":"+0.8400694","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":"Q1294793$B479CE09-64B8-4082-85AD-8634A61B27E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1874664831619ec0dc6500e24ab8799fbf2c3fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1604007,"id":"Q1604007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bbac983d4b947f4e3640d2d078d6b495285b62","datavalue":{"value":{"amount":"+0.83792156","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":"Q1294793$916213D2-CD75-4735-A19D-4A1EC96A043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696b491025f3a9934419a005fb57c28c7853fa66","datavalue":{"value":{"entity-type":"item","numeric-id":1611712,"id":"Q1611712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ab4e260cf233a02ffbbf0f510d0a189fad552e","datavalue":{"value":{"amount":"+0.83689475","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":"Q1294793$571EE247-95AB-4664-9BCE-04B0EA06A67B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_1st_international_workshop_on_Symbolic_model_checking_(SMC_%2799),_as_part_of_the_2nd_federated_logic_conference_(FLoC_%2799)._Trento,_Italy,_July_6,_1999"}}}}}