{"entities":{"Q1878908":{"pageid":1889650,"ns":120,"title":"Item:Q1878908","lastrevid":73393146,"modified":"2026-04-14T15:45:08Z","type":"item","id":"Q1878908","labels":{"en":{"language":"en","value":"From pre-historic to post-modern symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100109"}},"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":"Q1878908$E7FAA6B4-AF93-4395-80F3-D218D1EC8F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8ad56a5971a368133b784541b33a3cf6a6445a0","datavalue":{"value":{"text":"From pre-historic to post-modern symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878908$92EE25F4-0CA0-49AF-92B8-2B5249ED9ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3f2f3f0d92bf9a26c248808f8be3fd4f524b012","datavalue":{"value":"1074.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878908$1468B0B2-57C7-4F48-A254-1F74548A54B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e297cdea29440d3f994d1ca7497d4edb82d4e68","datavalue":{"value":"10.1023/A:1026228213080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878908$8EBB57E7-484E-4C5D-BABA-F34C0EE5C9D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878908$80C6904D-8C60-49BC-8C61-9EC2FEAAF973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878908$2B9BCA32-71FD-44AB-B082-412CFA71D7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878908$0A690008-8103-4713-9EAD-8FDFF14691DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878908$60C68CF3-AE65-4A09-9913-D593C4737330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc8e387439babbec1a2d663e85f838dd62ec5da","datavalue":{"value":{"time":"+2004-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878908$65D4FAB5-89BA-4E2F-ABA3-834F5FBFBAD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878908$ECD1C05C-1084-42DD-B072-EA279F2AD954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ee798a7c538a41a99548a74c40cb885f41fbf76","datavalue":{"value":"2100109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878908$2847295A-1FCF-4982-8AE2-5EFED9165F92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878908$5E3EA1C8-EF71-4B81-B502-F8BA728D3A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1bfdf5dc90c5294fc62b562b5b63fc41317a055","datavalue":{"value":"\\(\\mu\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878908$67094ABB-4748-48BA-BD9F-236BA2931ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6daa77411ae921b9eb54bb14eff01c3c5b97dcdf","datavalue":{"value":"forward traversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878908$60486823-1476-420A-AA94-3D221B8CF6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973bd39b9de608f1962fb682df1dbe357f40ed7","datavalue":{"value":"\\(\\omega\\)-regular specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878908$41CD38D7-DC11-4A90-948F-88DB78F50AB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878908$B9D7DD82-5FF7-4836-9799-B622735BAEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878908$A41AEA46-A204-4FE1-A9C0-FAD4E60D554C","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":"Q1878908$647B7521-7062-4C1C-8BA3-8FB6BF80E569","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e662427e357767d2b38635e98257700db7709cfd","datavalue":{"value":"https://doi.org/10.1023/a:1026228213080","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878908$B5E048ED-FC2D-40BB-B74B-72523F65BB60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17eacc071e203374f647bc21922f0d006237a67a","datavalue":{"value":"W1607643415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878908$8D41BA2F-ECB7-4C2D-A23D-13FA4140DAEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11995cc8cc65affd98612ef0675bcb0716e5e87","datavalue":{"value":{"amount":"+0.8026896715164185","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":"Q1878908$D26C8F08-0E5D-4498-BEAF-22AB8A424C83","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":"ebe0f39edaee7090d3e334f4dca528b2a4c4f355","datavalue":{"value":{"amount":"+0.7996376156806946","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":"Q1878908$424D5CE0-0B03-4A33-8CCE-B1DDD6E396BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99ed16bea76bae17fe7d1fe3b49d9e2a88ba828","datavalue":{"value":{"amount":"+0.7706382274627686","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":"Q1878908$944D8D17-5A1E-49D8-ACB6-3C763B6DDD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5035cfa3a7427d3a0bcddccd13f2d4ba4a6d57","datavalue":{"value":{"amount":"+0.7633438110351562","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":"Q1878908$F37EE6C8-5B3A-4EE0-B063-97A2034B1F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d949b247f38c3baf03bb1611d0dfb3d183e58a4a","datavalue":{"value":{"amount":"+0.7628265023231506","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":"Q1878908$677265C5-7A1B-43BF-904B-4BA4C1CAFC1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From pre-historic to post-modern symbolic model checking","badges":[]}}}}}