{"entities":{"Q6535696":{"pageid":14146839,"ns":120,"title":"Item:Q6535696","lastrevid":57343869,"modified":"2026-03-30T14:05:25Z","type":"item","id":"Q6535696","labels":{"en":{"language":"en","value":"Early verification of legal compliance via bounded satisfiability checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798107"}},"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":"Q6535696$2B0E73BF-2A78-4671-9E87-226D8D559B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e95dcee0ff4398f0dcdb538a520f35b6845abb3b","datavalue":{"value":{"text":"Early verification of legal compliance via bounded satisfiability checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535696$7AF523C8-40C0-4D51-BDF7-9B692A7D4C21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"162e0bcc3c738d0ed8ec642d8c9265db04a4b263","datavalue":{"value":"1547.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535696$817CBB01-4DE9-4E7B-B241-2C16652F4F04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7120c022ee75a31aec92a11173a6cd3bafe90c0f","datavalue":{"value":"10.1007/978-3-031-37709-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535696$C90EFB3E-9692-4926-AE4F-68FACA1D3337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e877d3e0b0432f4102ab98b65514c5f8acfe6e","datavalue":{"value":{"entity-type":"item","numeric-id":2147202,"id":"Q2147202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$0B5ABF3C-ACE6-4428-AF60-733696449E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aeed33bb752aa31a5b5404be595d687b4990f3","datavalue":{"value":{"entity-type":"item","numeric-id":6535694,"id":"Q6535694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$A86094CF-C202-4111-9F00-AA357224DEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0305225b95456e452ddb939fbc948329fcbd520b","datavalue":{"value":{"entity-type":"item","numeric-id":6535695,"id":"Q6535695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$6B0B9EEA-08AA-490A-9224-DE75E25A8C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$76099EDA-27C6-4BD4-A934-6B4C67497A51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-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":"Q6535696$69E6B0A4-3B35-42C6-8979-D8D946A9C431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535696$F208F20F-EE6B-4B75-B79F-56025654B30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535696$2B929DBC-03BA-49EC-A2C8-5EF30E1B5CD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f2d62e72bf2f9cd4af8674422616263ed43c026","datavalue":{"value":"7798107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535696$C6DE00AF-48BD-45BB-A90F-F27FC88AC16C","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":"Q6535696$BFE61E07-A1BA-4262-A406-DF4C1659DBA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$28F3EDB2-FD07-41DB-A2CE-97A52985ACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$2C1E5BD0-1BD1-4703-BA0F-470DCCCC7625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$69391DAD-E4AD-45C1-BE1C-7FF7F0E0F9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1b6ccdc40b1eaa84db87b74ef6f0227e0afac","datavalue":{"value":{"entity-type":"item","numeric-id":5308368,"id":"Q5308368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$8C7C9461-5C43-409D-BED4-70939FC27403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$A87EE597-248D-4D8E-99C1-D75BD897DB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$4FAA26C7-800A-405A-93CF-2E2D9031EAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04ce2a0510f2f2d2765e00f971b3eabc1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":6109435,"id":"Q6109435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$56BE9BE5-1632-4CDC-BFCC-13E66980B00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4a4cb773b3f0abdd71f34b580fa03099379204","datavalue":{"value":{"entity-type":"item","numeric-id":4612433,"id":"Q4612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$1D6BA4E5-4780-48B9-946C-DB7DEADFE1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c95f566cd609be2f98826bda3cf74e0545a27a","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$61586948-9FEA-4795-80C0-F1AB8654207F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eae62c058d6c3b073105abf4e6cf5e325aa8014","datavalue":{"value":{"entity-type":"item","numeric-id":6154870,"id":"Q6154870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$FB7DE131-6E8E-431C-87FA-0FD4B4C31195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$B4E8E4FC-893A-4C8D-9855-116BD9C4A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$181A4D91-A4D5-40B1-9739-9B97A76BC527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ebfe73c4af93de38a926b953d335f0d3eb1fd6","datavalue":{"value":{"entity-type":"item","numeric-id":5049029,"id":"Q5049029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$90C33E41-53B7-4EA9-A3AE-32183602354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$42437491-0262-43A3-8C8F-3F10A6F99E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bfad8739bd399e35a7be622443e31866b5a15ce","datavalue":{"value":{"entity-type":"item","numeric-id":5505609,"id":"Q5505609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$435FA9C4-608E-4902-A60F-E3AF58A60AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197bd6d0b9b13f7d7d62b39ca988dbf1f2dfc0db","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535696$38C4FF17-ABAC-4DA8-B1A0-2FECCC6931D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197fc85441199526cf4b4ed44dfe4982366422e1","datavalue":{"value":{"entity-type":"item","numeric-id":5869636,"id":"Q5869636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4bf7b92ef54b89de3f94ffe2038925dcaa900e0","datavalue":{"value":{"amount":"+0.6892955303192139","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":"Q6535696$1A18BB91-5944-4A1C-B8FF-95A3C40DE0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b7d446cbfc55c1f131473f3ff65bd7e4b2628f","datavalue":{"value":{"entity-type":"item","numeric-id":2105410,"id":"Q2105410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da62ef0d876fd565ba3f35ad82ff54e74881bf4","datavalue":{"value":{"amount":"+0.6644605398178101","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":"Q6535696$1B0EA871-5D3B-4A9C-BDA7-8A3F0F87737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec13b3dccc688906439feb72efe0e74a0d31a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376465552ceaddadb752a121ebf33517aac175a1","datavalue":{"value":{"amount":"+0.6606892347335815","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":"Q6535696$C1F4C712-F950-46DA-A446-3CF06930BA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cc12c26c1feabe186d9e18743a766d3e0a1b44","datavalue":{"value":{"entity-type":"item","numeric-id":6109435,"id":"Q6109435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3876c7dc197b28606179f9942b43106c6404d64f","datavalue":{"value":{"amount":"+0.6580130457878113","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":"Q6535696$B74DE5CB-F207-4204-8223-0B151EAD1D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4b53eb5ce6c064a5e7a0554d24717b92e9c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":6154870,"id":"Q6154870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfa6d335992201438e9c3f413f4ed00e5e81333","datavalue":{"value":{"amount":"+0.6504470109939575","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":"Q6535696$594A990A-2251-45F9-AED5-5E23FF50C4AD","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":"Q6535696$A155C3ED-18F4-4940-BF2F-7E0AF8321634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535696"}}}}}