{"entities":{"Q5025068":{"pageid":7054645,"ns":120,"title":"Item:Q5025068","lastrevid":98459978,"modified":"2026-06-05T17:35:54Z","type":"item","id":"Q5025068","labels":{"en":{"language":"en","value":"Symbolic and structural model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467849"}},"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":"Q5025068$64593DE1-3AE7-47C1-B26A-7C84F17030F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1b79e76024017972b0d22b2e5ad84d3f17f2f61","datavalue":{"value":{"text":"Symbolic and Structural Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5025068$8DD8EE57-AED3-40CB-B065-64A2D9640A7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"636dd66cf34c97d9a7f057d90c8f438119a68b7f","datavalue":{"value":"10.3233/FI-2021-2090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025068$D406AB90-34F1-4814-A096-486A049DE951","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58083c7cc0bfc34ba24bf6a67eb4c8044fdc332d","datavalue":{"value":{"entity-type":"item","numeric-id":2165224,"id":"Q2165224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$322CA7B1-09E3-4EF4-A9BC-448DE36D80E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$E07E0377-325E-4365-9AA3-A81A1D1C1892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5025068$CA122AF8-F569-4994-8C26-205451A5F4E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270731c192a90b1a495d7b1590c91dd9691db611","datavalue":{"value":"https://arxiv.org/abs/2005.12911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5025068$625F4673-99D8-4E41-85F7-833B7A10A2C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025068$8EA08E30-B9E5-414A-B739-E96886B83033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"471fefd99eb1f419d0b34e91d33c5c84e9365ae3","datavalue":{"value":"7467849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025068$10008252-07AC-40C6-8A83-0269DB48DA6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025068$FDEE6530-2B45-4475-987A-153AD1F405B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8048d5fb596363fd3860d5d7fd1f3e2090060cd8","datavalue":{"value":"structural reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025068$291C9CB9-31D9-4A5F-9439-924DD0663E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025068$E71232BD-2B02-488D-894E-938A21D06DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e336aa06c3a86a796a8562d292e0f9a628a040","datavalue":{"value":"SMT constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025068$8986946E-FEAB-4446-BA6D-1E1042BD5084","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b326dd1fec7b3b9613ebc80aac4d1e60ecce15e","datavalue":{"value":{"entity-type":"item","numeric-id":40856,"id":"Q40856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$A8259D9D-8A6A-44EE-A3F8-D63E48546C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$740251CC-8CAC-429F-9F5F-38BDC2A49FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06204287a780b9c87beccee87178466390691ed6","datavalue":{"value":{"entity-type":"item","numeric-id":34960,"id":"Q34960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$84330158-F34A-436D-A568-C27213D4DAF8","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":"Q5025068$6197B888-9D35-48F6-8A4E-F45EE569801D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86270f2d91bea84b2390c8ce6e127c2d21fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$7CAA9201-2733-40F7-AD43-0E08D40F2609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$F3AC3445-CB48-4A46-8741-3C3D1FA785B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$533CD95E-4FC5-4879-9AFB-875EFF86FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59396f340e547b01222c9feee0a8658035251f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3745291,"id":"Q3745291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$0AA9D44A-E375-4A1A-A2A9-532C5B705488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28fcdb9313fc16f0ed4174493ab5b2df5dac1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5100759,"id":"Q5100759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$50982A4A-5BE4-45A2-A7CC-4AA848555ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3e2657c4da5022ce01128eff4ed06a3def5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5216152,"id":"Q5216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$980BF5E3-4CB0-4C9D-A55C-E8568B5EC24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c143eb883825240f5cc61fb44abf21ad22bb74","datavalue":{"value":{"entity-type":"item","numeric-id":4126143,"id":"Q4126143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$C0682361-E4DF-4823-A90F-7C918C0B2980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb3c59570034702bd111a4682874bffae4489c3","datavalue":{"value":{"entity-type":"item","numeric-id":5491864,"id":"Q5491864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$5EB6E70D-6124-4BBF-935C-35086C049388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd7b21464c952dca4474ccb28c85b609719bd6b","datavalue":{"value":{"entity-type":"item","numeric-id":1633343,"id":"Q1633343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$BC0E52EC-2241-474E-A79B-5D9A92131258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ab346b45bc007dcd1ef8ef885eaec640c10ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2279728,"id":"Q2279728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$C447C21E-750C-4909-B798-2FD7093EC4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a47326c58db62ac0ca4e2eb05316ea3eb30cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025068$6CF0307F-6D64-4DD5-BB13-BEA21C292FA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf331c78587d646e644c37e70a598d952894cd33","datavalue":{"value":{"entity-type":"item","numeric-id":2032911,"id":"Q2032911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ed408c03880b42c35a567f0cd84f89fc23dbbd","datavalue":{"value":{"amount":"+0.8057546019554138","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":"Q5025068$9FB8CB7A-6D80-409A-96B4-62E80B9A6ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b7042c1ec5bd9328cabf33e235a2e5cd181841","datavalue":{"value":{"entity-type":"item","numeric-id":2117166,"id":"Q2117166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b85f9c3627a99bfbbc26274de685df470fc9d0","datavalue":{"value":{"amount":"+0.788226306438446","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":"Q5025068$E6DC415F-9FBA-415D-B390-C2DA07B35CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f7fe5200422925afa98e0481554cb764141675","datavalue":{"value":{"entity-type":"item","numeric-id":4551160,"id":"Q4551160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848a293b495809332490161fd7c4e2503a7d4fa8","datavalue":{"value":{"amount":"+0.7851335406303406","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":"Q5025068$673E5CFE-4988-499E-89E4-BD009C1FC4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5605b74046e4c3ae4a95f9077ed6a385e6eb932f","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ad893fb84a0ec79496cc0a442097f1e60557c5","datavalue":{"value":{"amount":"+0.7806752920150757","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":"Q5025068$CF208A0C-F652-4942-A30E-80BF08508E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90086a4ecc0ee0c45722b37a0726f63fe403d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4825884,"id":"Q4825884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c904e22b2a52454d7d4739fd3cf992ac5f3c96","datavalue":{"value":{"amount":"+0.7783840894699097","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":"Q5025068$1008E9CB-2D69-4929-AF8B-BD070FAFF1C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic and structural model-checking","badges":[]}}}}}