{"entities":{"Q934701":{"pageid":936549,"ns":120,"title":"Item:Q934701","lastrevid":50413988,"modified":"2026-01-14T00:17:35Z","type":"item","id":"Q934701","labels":{"en":{"language":"en","value":"Three optimizations for assume-guarantee reasoning with \\(L^{*}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306149"}},"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":"Q934701$D807AD40-AC06-4C9F-8D05-ACDBBA770905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f93091daa2911cf8de69c134d613bb0b3473facf","datavalue":{"value":{"text":"Three optimizations for assume-guarantee reasoning with \\(L^{*}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934701$259FEEF6-CFB1-4A57-8D71-B23481A663D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f58f798477097ca24147255c854267551ea87f5","datavalue":{"value":"1147.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$69197072-ECA9-4FB5-8C2F-88740E5A7CCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$C58FAF47-B59F-44F1-9B66-3BB79ECA7069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$E138E24A-3762-4472-9C9F-9DA529A9AB9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$9A761FC5-1360-4BC2-B7E2-0010AF0751CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934701$DEDA4E11-92A5-48FF-9BBC-C4F2A4BCFAD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$D8ACC7F5-969B-46C0-A901-9C4B18C86C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$0A644004-C708-48A2-A15C-5E1880A92AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$3E172983-A340-43D9-AD6D-453C20088AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"074c50c867f1aa10f648e8c21c3976ab713b927f","datavalue":{"value":"5306149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$A6DA4240-7D06-437E-84C8-C483E539C192","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a20dfc4a8361d02631e3d55f19e8d573bbfeb14","datavalue":{"value":"Software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q934701$EDBC907E-13B7-4929-AD7E-13679348D98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27092c5c6a0146c9021211214372ba608676829d","datavalue":{"value":"Compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q934701$C102AC41-F5FC-4B38-A65D-8AA0E131BEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a381e7198eb5e14dbe47f51d0a3558a9271651fd","datavalue":{"value":"Assume-Guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q934701$8573365A-5BAD-4245-81DD-172A6C544D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce42893629932f486a50818acc38bd693f7d8b2","datavalue":{"value":"Learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934701$9F23296E-B4BB-40D9-8570-8644CD4D0292","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$52920C7F-5874-4D24-8049-3210C85DBA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a550f2aed44e0d451882ee48f82a9d69812e1b","datavalue":{"value":{"entity-type":"item","numeric-id":19560,"id":"Q19560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$0FC5B11C-0D5E-4339-BB56-C9364BAA8675","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":"Q934701$7F9DC169-1A40-43A8-B269-FDC7D008A67D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc8e16f7a0e83641a976ac9e63608942586d7bb6","datavalue":{"value":"https://doi.org/10.1007/s10703-007-0042-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q934701$F28863AF-4BC0-47DD-8BA6-3AD845BF90C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73a4081657f0eba981b56e70714753cb395a6516","datavalue":{"value":"W2133521570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$8653FD38-D6A5-43FC-BA44-46C9E9ACF04A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$ED359D41-0D33-4A4C-B55C-2E6A35C1B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$D75F5135-CA31-4B87-A686-BDD7816AC850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$FFFD015A-0DC5-4DE9-80CB-901680496801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5d2a3258c7534111c1afe7f95a33b1202d115d","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$F7A90B52-1867-4E5C-8754-908D977184EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564082d9ab472364f020fd7fe057e749f4f2ba3b","datavalue":{"value":{"entity-type":"item","numeric-id":5716552,"id":"Q5716552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$D0DF53F4-EAEE-41A8-90B1-78BC3560F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$6C09A25C-C4FE-4973-81E9-F556DFC6982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4e7a0cd98168872b74e4720bfb341f7c43af37","datavalue":{"value":{"entity-type":"item","numeric-id":4472253,"id":"Q4472253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$4CEFD148-C5AB-4319-BC35-8B9D4C436915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22addb5f3a51b2f17fcb41951064c05876e03255","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$8A30BDAE-2D2F-496F-9C5C-FDB3CF9C19FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$2D20C87D-A806-4FAD-85D6-E2B2D2246238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08353f64bee56a663ab8a98982684a8b6497fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$F009F095-00D5-4871-B287-EC700D405564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$A6DC45A8-B24A-4195-8206-666F5D639C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934701$03D357FA-B1C0-4B10-AE19-4A3195E54A16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dac792e4d505d733eea2a39b3133dab429bd7bcc","datavalue":{"value":"10.1007/S10703-007-0042-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934701$A05AED72-4183-4F41-985B-C6811CB37360","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdd68ec5df7d1acd210513acf81407747f8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":5758116,"id":"Q5758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7145efb230855c1d0cc195242e3bef2603047c","datavalue":{"value":{"amount":"+0.9600692391395568","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":"Q934701$DCCC9EB8-C0DC-4A7A-B2F6-5780FD27EA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344146347e1c51f3f82d6cc41d848d754fbfdb16","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de16cefaaa668252df48c51f54c4301f442ce1c","datavalue":{"value":{"amount":"+0.861284613609314","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":"Q934701$A2E676BC-D6F5-4CDD-862B-99DC4F32B13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe0ee0c65a1c6ba94d1ee4b58dc7ef6692e5989","datavalue":{"value":{"entity-type":"item","numeric-id":5429315,"id":"Q5429315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb4ce45f991d473177f3484d38f80e05e4f77df","datavalue":{"value":{"amount":"+0.8170256018638611","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":"Q934701$B6BC2067-5FA2-4642-8895-1752CF013D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4713b22089dcfb39aba365f723e953560ed05b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe0db6f2af379122eddcd2c9b0074ede1f517ac","datavalue":{"value":{"amount":"+0.8155702948570251","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":"Q934701$1925A7C4-B8AF-48BE-B0F4-59A02276C46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a668cdac5191f13a486f87bb4a80da4e0c9e8e62","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307ad7211477578b7386a08709ff68511db0c865","datavalue":{"value":{"amount":"+0.7984735369682312","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":"Q934701$279AF151-B9B8-46BD-B685-86F4B352D288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:934701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:934701"}}}}}