{"entities":{"Q2848417":{"pageid":2859137,"ns":120,"title":"Item:Q2848417","lastrevid":51834080,"modified":"2026-01-20T06:49:26Z","type":"item","id":"Q2848417","labels":{"en":{"language":"en","value":"Software model checking based on game semantics and CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211909"}},"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":"Q2848417$8B96594A-41B8-4407-A2F1-9B267AA04E6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97de7b79bbe6d29bcead42c74f1faf5331e81975","datavalue":{"value":"1272.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848417$02CE9A94-1AED-4213-91BD-7E7B3D847AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a730e63f1cf4870b40c1ba1697380387b326670","datavalue":{"value":{"entity-type":"item","numeric-id":477212,"id":"Q477212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848417$8F5A6844-A6E6-48B5-8627-BBBBB470778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848417$64F19C8C-62ED-4A17-8C97-63B35C429F89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848417$9731E7FA-DE75-465D-B7AF-65B5E1FE568C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"957dfe91bf0f2657c99cb59c9d952271f89c7957","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002392","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848417$86A43493-7BF7-436A-87F2-D46BA6B2E710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848417$1D3F98B6-17C6-4752-916D-2A45C04AA5CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f09726ca42036f4873c28734a19eba90e71ae7c","datavalue":{"value":"6211909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848417$D81721B7-7B06-4171-BAE8-5013E4316C51","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":"Q2848417$6AFB1F20-5F40-4327-8370-3D93904BDA11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31a6b29fe07811aa9f2ead6898e886c014b0112b","datavalue":{"value":{"text":"Software model checking based on game semantics and CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848417$6AA521C1-5FFB-4C1B-8847-A5F698ACE000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aebd28f839dc286c747c18611df2ff5bf527893","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a3f420df4eb90f996475a7f610714b0ee15fcd","datavalue":{"value":{"amount":"+0.8683845400810242","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":"Q2848417$C5ED57F2-B9A1-4F23-B0C9-2E33D15AAA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856aefe4aa987d7b5f0673800803d7812db6c309","datavalue":{"value":{"entity-type":"item","numeric-id":5458322,"id":"Q5458322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa97f5e82dca31c3d4186d44809fc09e2b65115","datavalue":{"value":{"amount":"+0.7914443016052246","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":"Q2848417$74834A33-A4B9-4C53-AFC3-D05929AA5F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b5429619a613a953de1940074e8b4366f53e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2993207,"id":"Q2993207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899eb9e6da59e6e3da7de0509e142a62242bbb9a","datavalue":{"value":{"amount":"+0.7537797689437866","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":"Q2848417$55F18F61-3C29-4307-A271-8570E7E0C591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23703c5a5de9ed469631d71f6d9bd988af92449f","datavalue":{"value":{"entity-type":"item","numeric-id":3163396,"id":"Q3163396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e501e5933869930bf3b44ed92addc57af0c7ca","datavalue":{"value":{"amount":"+0.7530414462089539","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":"Q2848417$B473CD4B-9671-47A2-AE56-F57549A4D89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c86063df81a8910d8432f3ee230ac1497d5a67","datavalue":{"value":{"entity-type":"item","numeric-id":4823132,"id":"Q4823132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3759f28b84d5710f2e8dd328fd562581d85f8cc","datavalue":{"value":{"amount":"+0.7528336644172668","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":"Q2848417$86E1AB14-72A0-4A6F-8DC8-8C2C038CE08A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848417"}}}}}