{"entities":{"Q6535527":{"pageid":14146670,"ns":120,"title":"Item:Q6535527","lastrevid":57343797,"modified":"2026-03-30T14:05:03Z","type":"item","id":"Q6535527","labels":{"en":{"language":"en","value":"Exploiting adjoints in property directed reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787547"}},"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":"Q6535527$720B2023-A327-4DDD-B647-92B0316040A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac4eefac044ef2c398aec2d41be711e442350237","datavalue":{"value":{"text":"Exploiting adjoints in property directed reachability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535527$3555DAD2-DE5D-40C3-827A-834E18DDB069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcf1f4b6285625cf8b0df192cdafb3d6ce0988b8","datavalue":{"value":"1545.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535527$532503AF-ADEB-4511-AF7E-1CF765DE154F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8370e597b47dd632b6176c96e6a655db96ed4bad","datavalue":{"value":"10.1007/978-3-031-37703-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535527$F132789A-3AE5-4893-919E-B3238AB04C1E","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":"Q6535527$B26F4F3B-945F-4AB6-8FC9-36149CD7BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f843bb7950762494502f4535b16c4d4ed9bf8fe","datavalue":{"value":{"entity-type":"item","numeric-id":6141756,"id":"Q6141756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$8E677020-2FE5-483B-8BA7-2E8390856568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$600C54DC-AD58-4BE0-A642-23034458D31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$EB6559B0-4802-4F46-BC9A-773224CDD7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$B6165DAA-FA67-420F-A329-383987D8D0D6","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":"Q6535527$3E97329C-D7CD-432B-92A8-3507961A2DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-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":"Q6535527$E5D71248-EF78-4D27-B55E-F3096B10861B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535527$AD5F30B0-A71F-44D5-9C8C-F44107BC69DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535527$3493953B-9941-4606-838C-421EFE198382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535527$7060C1B8-D147-47A5-BA0D-9B0F71C68210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ad1d6356b1c3c9b597212752abe4baa20b65c5","datavalue":{"value":"7787547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535527$384367C1-8962-45E2-B269-B17C031D3849","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ace38c95464df0b8beb7e28a35ab8920d1a3cd1","datavalue":{"value":"PDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535527$79C24CA4-AAA3-4A85-B294-1FCBD9493F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535527$471BFB38-2759-4B2C-9D10-21DDEFB28B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63427ecdb5396ebe166bd8479b68ece465efd050","datavalue":{"value":"adjoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535527$472197D2-DD41-411D-ADD6-A41F4B1FD04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768e7587c335cf1e7b396d54e9b8719ed7a37a57","datavalue":{"value":"MDPs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535527$4EB0DEE4-527A-4817-8850-052D02570255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b63164c02887bead102f8953eb6f596acaaf399","datavalue":{"value":"over-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535527$EAAA79F7-7593-43BC-A1BF-7BFA9010041E","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":"Q6535527$BBE37E4B-4093-40D0-8699-8F6F1AF86221","rank":"normal"}],"P223":[{"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":"Q6535527$83444B03-59CA-4367-8345-83577A725493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57993b759db3263493d9535a7fbb42946774ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$890BC250-E2A4-46BD-A1D5-0C56F98C98C4","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":"Q6535527$CCCB765F-42B2-40BC-A0D9-0F9434A37EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25be017f34f91bcb664bf55b0c7478941a69890c","datavalue":{"value":{"entity-type":"item","numeric-id":5145290,"id":"Q5145290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$9E79AF5B-C9D1-4464-A132-7801D2E1FF9E","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":"Q6535527$BCF616B4-111E-4A1A-AD2B-6182E2E39CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e5090ecb01123b6d1ba4c412557c33fefaa122","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$8D0132F0-E990-45F9-ABAF-0010BD189869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$A181C073-DC20-40CE-8679-0DA84E184AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$7DBD17C8-5AE5-4558-BDAA-3E6FC6F85ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$D3856C1B-6211-4541-B1DC-250BA1FD4F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02b4e6f5ed1a2113f1a8462fe48b8cc23c4fb92","datavalue":{"value":{"entity-type":"item","numeric-id":2226755,"id":"Q2226755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$EAF896F4-F8DF-4B9F-A406-47C49DFD4766","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":"Q6535527$C145836A-F7F1-4C29-AE7E-FB99E78450E3","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":"Q6535527$2D44094E-3D6D-4E2C-8B71-AC73016C553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$34CD89A2-2184-4212-98DC-B77BA007F46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$58C2C29E-42F0-44A3-ACFA-973A690545AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$94C5EB9B-9499-4885-9C91-DA3ECB99668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d033e9f6c2e008bae337aef25622a51fec6636ac","datavalue":{"value":{"entity-type":"item","numeric-id":6041136,"id":"Q6041136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$D1F5D522-F0D0-4F76-B008-F7E16EA7E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd0dec48d40545923613fbc5035d25efa012966","datavalue":{"value":{"entity-type":"item","numeric-id":4979439,"id":"Q4979439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535527$8A3E5737-9C39-4B9C-97B6-522CFD27D1AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cebd71196714a339e02ead7aef89733c7b2d09","datavalue":{"value":{"entity-type":"item","numeric-id":6487318,"id":"Q6487318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31265b2208d842484c917cf6224895a68ed3c18b","datavalue":{"value":{"amount":"+0.7412269115447998","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":"Q6535527$83771773-36A3-4FE6-AB99-F1A10EEE5519","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":"25fd373c38cf5f1146aadff3d543029b6ba3b982","datavalue":{"value":{"amount":"+0.7155968546867371","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":"Q6535527$70C1DFB7-0AB2-4C4E-AB88-38F8CE2E4F31","rank":"normal"},{"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":"e0edc88d697bda5a1d6ef6c02ca90796ddb50643","datavalue":{"value":{"amount":"+0.7005767822265625","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":"Q6535527$33E870BD-FDE1-45CF-93DF-D4585BC0CCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f98f6f76a8455a7573440823a0a5c4197f95d0","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a902dbc048883d9237e31d9bf840683609cb49","datavalue":{"value":{"amount":"+0.6968661546707153","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":"Q6535527$B0F8316A-63A1-414A-838A-EBE9142F35A3","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":"5b35ab089825656f880c5d441b15cca7adb819ef","datavalue":{"value":{"amount":"+0.6875351071357727","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":"Q6535527$D828661B-A000-4B4B-8B06-075B4EC5F728","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":"Q6535527$1B5B11EC-3B93-4072-9DB2-E93CEECAF63F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535527"}}}}}