{"entities":{"Q5758116":{"pageid":7787667,"ns":120,"title":"Item:Q5758116","lastrevid":50154908,"modified":"2026-01-13T07:08:20Z","type":"item","id":"Q5758116","labels":{"en":{"language":"en","value":"Optimized L*-Based Assume-Guarantee Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185784"}},"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":"Q5758116$1038B38B-49DB-4EB8-A56B-8785EF59F07E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48c8907507235d0b248dc47f8544514685124689","datavalue":{"value":{"text":"Optimized L*-Based Assume-Guarantee Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758116$64508505-57D7-4BCE-8A28-D6B098755EE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49e97337de7824cb5a70dbd5910aa8829deb802f","datavalue":{"value":"1147.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$00CA146F-56AC-4ECC-AC41-B1A5280AC908","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63abd5a7ed7e0bc6da8989172eb2dc3d27d54b75","datavalue":{"value":"10.1007/978-3-540-71209-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$0B97CE34-CB6E-4119-B59A-153C7475FF44","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":"Q5758116$7AB3147B-6F87-4C55-BAF9-0F2F09FB5B69","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":"Q5758116$091415A5-0961-4B10-82D3-DDB3DF572B24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758116$99C7FB21-9B2A-4BE9-807C-072E115B2E0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758116$1B019BB7-6AA8-4BC9-9685-67AABE00F772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$7A322D9E-BB2D-4C33-91F2-6240FB69242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$D7EC52D6-151B-44CC-9ED9-94D9683D24E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$218063FF-7ED9-4575-B157-1C2E76FA13D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b57d92cfa2d2325268484b7d001702c6b4236f8d","datavalue":{"value":"5185784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$6047BF6D-4317-434B-B29A-A4E21DB18E86","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":"Q5758116$8F3BD059-6C25-4D6F-A2F1-11D058E598F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81c5ff27b1cf7bfe9efc7c4f951e2d905236bef5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758116$E9667982-D277-4AC5-98AB-71101A2F827C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f84d408c7416284c5b0b086db860f6868177fbd3","datavalue":{"value":"W2030511855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758116$F19D30C1-7657-4B1F-9EB0-46D02A894E38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bf0ada30c6b6c5820adad3fdeaef3538b1fc70","datavalue":{"value":{"entity-type":"item","numeric-id":934701,"id":"Q934701"},"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":"Q5758116$CEDC2C28-3553-4F17-8D45-C4AF1959795E","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":"12090066bb5903af2561442e50cb0fc381011975","datavalue":{"value":{"amount":"+0.8363296389579773","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":"Q5758116$91250A7E-679B-4930-AF1D-253269EE9FBD","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":"e9d8e8c2b81acd392c75a70d9e27f14a8c68af1b","datavalue":{"value":{"amount":"+0.8022633790969849","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":"Q5758116$5CB9839C-AABC-400C-906C-D346D9B4BDB4","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":"512f6c30bd38c1537122c06132340fd688c1fe9a","datavalue":{"value":{"amount":"+0.7823671698570251","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":"Q5758116$1AA300C0-1F2A-472E-B73A-96A5677EBBC3","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":"4f69e11c12fb07441de77d1348147c7c1a205e75","datavalue":{"value":{"amount":"+0.770592987537384","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":"Q5758116$BEC1E92C-6E2B-4451-9C36-46B544014D6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758116"}}}}}