{"entities":{"Q6487318":{"pageid":14066087,"ns":120,"title":"Item:Q6487318","lastrevid":57576168,"modified":"2026-03-31T11:26:58Z","type":"item","id":"Q6487318","labels":{"en":{"language":"en","value":"The Lattice-Theoretic Essence of\u00a0Property Directed Reachability Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628119"}},"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":"Q6487318$1C8273A3-22F9-4260-8F0A-19A96638FFAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"753c8cf7221ba80f70946f65c5aaa8163a1d64b9","datavalue":{"value":{"text":"The Lattice-Theoretic Essence of\u00a0Property Directed Reachability Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487318$C7F04C93-B433-4D8C-9D7B-8D0F1476785E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19084539c2ef9335a95557d317107e697084f9ee","datavalue":{"value":"1514.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487318$D9E959A8-0E42-427E-A79D-AC5302D5BD05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"038bbdb0b0ba8c060a51125fef0bf40d31a5c42d","datavalue":{"value":"10.1007/978-3-031-13185-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487318$85B80B25-8EF3-481E-A4AC-559DDE5F463B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f2a634dcce0cbb84a663e2fb10d41eab380178e","datavalue":{"value":{"entity-type":"item","numeric-id":6134266,"id":"Q6134266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$3A599C4F-A967-4C2F-A708-8E457779D987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400653cd5902e3fb87732c5c5f26fe441314ea48","datavalue":{"value":{"entity-type":"item","numeric-id":729814,"id":"Q729814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$E73C5A0E-A928-4438-AA8A-DA2C2FB226CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$DFEA124F-D2CD-4F83-B6FE-DB5B40AFE8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$6A81AE1F-586E-430A-97FB-D4C2DE01B254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$CFE69F0B-55F6-4861-A5C5-A942066492C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487318$02CE6AA0-9A5C-4C31-9A7D-CBCE67E9C269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487318$605DFC23-E73A-4516-BC5F-DB0B610650E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96dffcc682ac61a273e250494341086102959a63","datavalue":{"value":"7628119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487318$71491935-92E8-428F-9A3D-BBD6FA2B327E","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":"Q6487318$913E09FE-A51D-48DF-90DF-0C3BD07BEB9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f3322c5429041e9841c2c142ed34225680add8","datavalue":{"value":{"entity-type":"item","numeric-id":2133463,"id":"Q2133463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$52018FFB-C499-4E6A-850E-45A26BD384A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$A50DFC76-AB1D-4C92-ADD8-FE5EE3CFD7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$4402B87D-4C78-4781-ACCE-02EECADECED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa29ea6e4c2472e088e5a4872adab6c6de9303bf","datavalue":{"value":{"entity-type":"item","numeric-id":1185093,"id":"Q1185093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$71F9BE82-9F8D-4AF5-804B-CDE2317C94DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706ff4099500ebd27df3ddbf2791f5d17d6a6c75","datavalue":{"value":{"entity-type":"item","numeric-id":2226756,"id":"Q2226756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$8EFEA7C5-314C-4941-A16F-71D01785503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$13370DFE-4ADE-4A65-A12B-4DF4BD39054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$47BAE13D-8CA4-4A9C-801C-7F771CBC06E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$B150EC48-F718-4841-8F21-BD869194E805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$B7E05080-153F-4D84-B612-3ACFA50E2819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$2B3D22CA-2808-418E-BA24-96740971D27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$D8B82217-0F90-467E-B22F-B0A49BD68A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$4D0AA8A5-96C6-4581-8444-7A7D8F0E9DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$6B695C4E-34F8-4BFB-9BBD-2627AF8637B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aefbe4695686373693fd2785dc5573454638ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":6134267,"id":"Q6134267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$91E637A1-F912-468C-AE7C-2F713DF9126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc068b264f0a413d831da220a2ed82190e995a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6487318,"id":"Q6487318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$A2AAC48D-2E7E-4C7C-9F89-897617393E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$613C4EA7-A61F-416A-AF9B-7E5BD32656DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb814cb4079b62e90544beffe09851997dbcdc80","datavalue":{"value":{"entity-type":"item","numeric-id":2796039,"id":"Q2796039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$E6E8D977-0598-429B-98C6-367E32BEABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$D533C5D8-426A-434F-A403-5C51651AAF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c4cc508d02765ef12103f5a3aaa61b4f1d7664","datavalue":{"value":{"entity-type":"item","numeric-id":1798795,"id":"Q1798795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$F624661F-597E-48F6-B4A5-3997033FF547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7331ad87d1bf1ec5ff546e21a9bd285e1473598f","datavalue":{"value":{"entity-type":"item","numeric-id":784143,"id":"Q784143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$1A09D847-445A-46BB-A35C-25BD690CE84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$3B5C89AF-6AD0-4499-9CF6-D7529D6B8F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a601b7873b1373e7aa846c82044f5ed1d504783","datavalue":{"value":{"entity-type":"item","numeric-id":2796039,"id":"Q2796039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7610d93d2e441fc76ed7cfb086e8302bdfa3b9a2","datavalue":{"value":{"amount":"+0.7426828145980835","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":"Q6487318$E4EED085-8E96-49FC-A466-1086E585D60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65b59f053891bc48374bd07239cf3105cdec628","datavalue":{"value":{"entity-type":"item","numeric-id":5039500,"id":"Q5039500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293eb3539280f2c0b01079265d83dbfb40d64f37","datavalue":{"value":{"amount":"+0.7327858209609985","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":"Q6487318$99F14A0A-EA35-40CE-AF22-51DD78A08664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6ff91e010703ee4fbad84024e8d0fa028fb1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdbee7b56efefbb418cec91b9ca246e836e58be","datavalue":{"value":{"amount":"+0.7189014554023743","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":"Q6487318$02092CB6-540A-4442-9A1E-929BE5245EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fab3972da9d5f2c3d67796f44870f7dcbf961c","datavalue":{"value":{"entity-type":"item","numeric-id":832288,"id":"Q832288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b605a693956886976229262aead9fd4e75cd9bd8","datavalue":{"value":{"amount":"+0.7102242708206177","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":"Q6487318$D6D11C15-4A9B-42B8-97D7-34038205B53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0f8b8de057ab428a18bcf5c9c80ff15a5efe65","datavalue":{"value":{"entity-type":"item","numeric-id":5172647,"id":"Q5172647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab1f99f06c355b2c9042c4ce1b961afa7bb4dcf","datavalue":{"value":{"amount":"+0.693363606929779","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":"Q6487318$B9AAD4DF-6176-4609-B4C3-DCC53FAAA642","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487318$32C9DC24-835E-4FAF-B6B3-6022C688C8C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487318"}}}}}