{"entities":{"Q3646263":{"pageid":5676169,"ns":120,"title":"Item:Q3646263","lastrevid":81012959,"modified":"2026-05-06T17:31:01Z","type":"item","id":"Q3646263","labels":{"en":{"language":"en","value":"Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5636093"}},"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":"Q3646263$BA7B877B-A3DA-4F76-8CF7-6F2AE051DC6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c44ae3aa13206369c6678881c0c5a2152dc9d6a","datavalue":{"value":{"text":"Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3646263$5A756139-48BC-4A48-A400-480966B37CE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca114dcaf683e1dc2a76d9f4a790c52a1c4dce65","datavalue":{"value":"1260.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646263$01C0BBA2-4AD0-4021-B738-B4D211864560","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186fad94285eb70df91fd7b6c1d30a2eaf4ebb31","datavalue":{"value":"10.1007/978-3-642-04420-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646263$12A96EC1-CFA9-48BF-BAA2-5AB492262F02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d464d0a6438f352a95a68c7178481fd6510202cd","datavalue":{"value":{"entity-type":"item","numeric-id":848950,"id":"Q848950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$E14DDA7D-FA33-4ACE-A175-14762251C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$9909027B-D448-40B7-8EA5-7ABBC083E042","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":"Q3646263$6CF1F6F3-7787-41B3-A30B-0C3AB9C584DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d14626f47760914b9a71c7f4ee295065574aa","datavalue":{"value":{"time":"+2009-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646263$D75C21F0-3606-408A-98A6-9C0600A46BC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646263$1AB1103E-A2A9-4664-AFAC-A4C052F58B2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd401221086e5db4a21d480c8ef2736b2394e971","datavalue":{"value":"5636093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646263$EF6DFB0C-F6D3-4E2B-B93B-0B5B293E77F2","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":"Q3646263$05D6A566-F106-4CD5-B8D0-6DEBF0C67960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54ef379e9fecc3c6a79bf0ca98ff09af45b97009","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04420-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646263$2358AA76-6A83-4E80-876E-92C2C869B86B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02368ee70e63098aaec5101e65718de3742f1e61","datavalue":{"value":"W1551842063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646263$94AA63E7-CB18-4F43-945E-3E89EFF7905A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13b8d2afaa8109e42b30c9885257af62a17ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$30DA8443-0C5C-4386-B8C0-5F3519260194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$2AF6161B-C57C-43FF-B0A1-8C150B23E88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7e64c209997e148f04f347a66420ed54a4858","datavalue":{"value":{"entity-type":"item","numeric-id":5897432,"id":"Q5897432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$1F2AEBD4-D6EC-47DE-A10C-389C261AD362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c30056d56a838425f17d97e28670895fdc857e","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$6B920157-DE29-4BC0-875C-390A92273A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8313a06073cf9367f38f2084df08c0ccb9ba771","datavalue":{"value":{"entity-type":"item","numeric-id":3593075,"id":"Q3593075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$55264E9E-A036-4DAA-A020-001F89450B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa44c4d98eb852f877149c1a8563b1898426baf","datavalue":{"value":{"entity-type":"item","numeric-id":5191537,"id":"Q5191537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$60340E17-8CF3-4711-AC2A-F272C1DA681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1221a33196b3c7ef452907ebf2efba3883e9cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1776582,"id":"Q1776582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$4777CA82-5C44-40EE-A1D8-87A14E3ABE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$A4B2AC38-8934-44E7-843E-E9DCCF5B09AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f0fe568dda08b4492930009644bdadbefca1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5505604,"id":"Q5505604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$3E075D6E-A154-4ECA-A877-2C52BAC56B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11fa3aa399632c7df3ddb7f2dc0e9e10a90ffef","datavalue":{"value":{"entity-type":"item","numeric-id":5448822,"id":"Q5448822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$5DBC6720-EC3F-4C1B-A37F-1CCC086F3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4c1d603fc754facc83c9f5ea1860cb035663d6","datavalue":{"value":{"entity-type":"item","numeric-id":4473739,"id":"Q4473739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$D82513CB-589C-4466-835C-8409DF325D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e54e1eb346f4196cc1ac66f42c20d0558de23c2","datavalue":{"value":{"entity-type":"item","numeric-id":4715388,"id":"Q4715388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646263$BBD667CE-18CD-4818-B128-77FBE807A3F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f038f77b20ad7e8769b155fb14d5cdc70099ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5716899,"id":"Q5716899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05b0a46969167a320839e55839ec960d6611e4f","datavalue":{"value":{"amount":"+0.7197021842002869","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":"Q3646263$0CF9E608-8ABA-4874-94A4-0214E155D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab252062896d0fa263dbcde7842c2311608e533","datavalue":{"value":{"entity-type":"item","numeric-id":2917311,"id":"Q2917311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ab19c19a899ed3d9a4db8897fccb1b79721bee","datavalue":{"value":{"amount":"+0.7073578238487244","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":"Q3646263$80337A00-4B98-45E0-B5DE-C11BE68EA10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec15c6ecc47b9e6acb87cddb29922b6ac0d4497","datavalue":{"value":{"entity-type":"item","numeric-id":2703739,"id":"Q2703739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8e1c9dcf7c083e062fbbd35d5d86228b3cb3e1","datavalue":{"value":{"amount":"+0.7064281702041626","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":"Q3646263$3C23D75D-B076-4496-B4FF-ABCFCC67D245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113f19f3114049084ba539d435ac3e64278d374f","datavalue":{"value":{"entity-type":"item","numeric-id":5308363,"id":"Q5308363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81781dc77ab7456409cac88c076b9d289defffa","datavalue":{"value":{"amount":"+0.6990675926208496","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":"Q3646263$C39370BF-5455-4B1C-958E-677559BBE867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aea7472e9320e25517362827b3d47d7c8ffd8f","datavalue":{"value":{"entity-type":"item","numeric-id":2718777,"id":"Q2718777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56f1323c64b24d852f63e4decaeb4f063595e1c","datavalue":{"value":{"amount":"+0.6948202252388","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":"Q3646263$D5BC2DFF-95D3-4F93-A702-0131F6FF3C75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems","badges":[]}}}}}