{"entities":{"Q6535328":{"pageid":14146471,"ns":120,"title":"Item:Q6535328","lastrevid":55966108,"modified":"2026-02-21T14:23:10Z","type":"item","id":"Q6535328","labels":{"en":{"language":"en","value":"Low-level reachability analysis based on formal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776854"}},"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":"Q6535328$4480E17E-D8EA-4947-8460-5779508A2F3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e67303124a1cc5b88d5334a094e11384ad3ad8a0","datavalue":{"value":{"text":"Low-level reachability analysis based on formal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535328$E3C23856-3B9B-4DE6-BA68-8F898E5856CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7be125178038e7fb69037e48b90969f087cbca0","datavalue":{"value":"1541.6811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535328$5F96BCF1-082E-4084-9FB3-D4DB7739EF02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e94ee444bbe929718f8d9cfabfd475984496330f","datavalue":{"value":"10.1007/978-3-031-38828-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535328$4A4B068C-5409-409E-B64C-5BD079DC56DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b06499a2782092f58c3521db40aa9623d0a3a52","datavalue":{"value":{"entity-type":"item","numeric-id":6535327,"id":"Q6535327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$E4726B64-C1FD-406A-AA9B-802FE46CB742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bf01e8df1c87de639938e4e74854e4e2315839","datavalue":{"value":{"entity-type":"item","numeric-id":437038,"id":"Q437038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$8477182E-913D-4F97-9007-892662F83156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b9497a533f420103f1793409152c03dae6efc1","datavalue":{"value":{"entity-type":"item","numeric-id":1630028,"id":"Q1630028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$063C1B89-66DC-486B-88DC-0A1416B76CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba80e0c39cba5ea7df8d1c8803db9f59e5a7a626","datavalue":{"value":{"entity-type":"item","numeric-id":202509,"id":"Q202509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$671FEA5B-4149-4E29-B710-429AC34E11A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535328$E17CC4AB-A1E2-484D-AA51-289F01FFDF4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535328$A0978DB8-3977-4882-834E-B8AC7C673B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535328$480F01D1-BFD0-4581-8BC3-D5464F20A64B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b66f36797be7895d644d8680e2d0ffbf720d1eb2","datavalue":{"value":"7776854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535328$5002DB7B-4F33-4E6F-B634-589B2F356ACF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535328$87101B0A-0B95-440D-AF04-9B5BCC263FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535328$DFF801D4-C23C-41A6-AAFE-066836B33BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535328$B43E4A33-8F9D-42CE-AFC2-9B4B112C855E","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":"Q6535328$68DEAD26-DE04-4933-A4B2-7D408AC2AD98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da74dd37ec309cd86a1950a33c37923d03a50500","datavalue":{"value":{"entity-type":"item","numeric-id":5897443,"id":"Q5897443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$AEA9C6DE-A9CE-44AC-9529-DF6C4F6220EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794037096bca89e0c0feb3c2e3cbcabd6db55712","datavalue":{"value":{"entity-type":"item","numeric-id":5716599,"id":"Q5716599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$AD6D2B93-DC42-4430-A37A-B909FCF77217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$17B29F00-3F0F-4616-B7E4-9D7C21C0D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cf160b7d5a69a4944a9e0cfb58c710880a971b","datavalue":{"value":{"entity-type":"item","numeric-id":2145317,"id":"Q2145317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$37005485-F86C-48DD-AE8B-24A41793FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23658341dc791ef695df619485437ec6440f373a","datavalue":{"value":{"entity-type":"item","numeric-id":1509284,"id":"Q1509284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$CD4EA491-2054-4C41-A461-9F5880C29173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$F511EECE-10CE-4225-A5FB-B2EE501FA239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$F129E305-DF3D-42F4-93B6-591EEBAD05CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19ae8b9545f5b0c5c014deac7a95bff105833d7","datavalue":{"value":{"entity-type":"item","numeric-id":2695364,"id":"Q2695364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$BC09D903-9643-46DA-84A9-764593194E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1713746a21acf2d1323fd1403fc527bf6ca8721","datavalue":{"value":{"entity-type":"item","numeric-id":2226739,"id":"Q2226739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$FBB112E9-67DD-4067-8DC9-FF38C569E0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$1E14116F-5932-4829-B0C9-60148F8640F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375d148a7fc50247a9a95f617e87a98f33fb6710","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$C5FD55E4-76DF-4065-92D6-7AD77D2491F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535328$EF35205F-105D-42F0-AEA0-5C778A989C24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b921b21969bd86d618ee0c8485219d4a351f41","datavalue":{"value":{"entity-type":"item","numeric-id":5758100,"id":"Q5758100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef37e3958aa48b3c2a5aa639fc5703c49903300c","datavalue":{"value":{"amount":"+0.6881732940673828","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":"Q6535328$2ED118D7-20B2-4819-B7D7-40C13537C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ad035e80b3a5e1754ae2145eb3bad312af2d83","datavalue":{"value":{"amount":"+0.669249951839447","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":"Q6535328$468A9416-17E6-45EA-9CE9-086EF26AA7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05aa462e7f46aacefc16ad4d9ece95bbe438d17e","datavalue":{"value":{"entity-type":"item","numeric-id":2827839,"id":"Q2827839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab8997ae332816ea5d9f6fa86fad7f140952b33","datavalue":{"value":{"amount":"+0.6681898832321167","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":"Q6535328$B2ACFDDC-C906-4FD2-BC35-044B33EDC64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b086cffb2cc7ae72a4bb34c73e49c54bc533c78","datavalue":{"value":{"entity-type":"item","numeric-id":6535227,"id":"Q6535227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38eee09047459d11784c7d52fd0e771b7b7cafb8","datavalue":{"value":{"amount":"+0.6646870970726013","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":"Q6535328$3D6323BF-DDF7-46A0-A686-87C16B046016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3ac3ccdd4194d96a01d538f1b530a124c20ccd","datavalue":{"value":{"amount":"+0.6627809405326843","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":"Q6535328$AB5149B5-E32F-4223-9557-81C6B7353D42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535328"}}}}}