{"entities":{"Q3522908":{"pageid":5552812,"ns":120,"title":"Item:Q3522908","lastrevid":50446010,"modified":"2026-01-14T01:59:41Z","type":"item","id":"Q3522908","labels":{"en":{"language":"en","value":"Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321060"}},"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":"Q3522908$E4C25AF5-A096-4604-9BB5-4F3BA254BE3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70df0d703ce635cbac0fbc7f1829fe4aa3531959","datavalue":{"value":{"text":"Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522908$AA8F57F3-6676-4173-8A93-D379413584B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b032687cfd8a62ab57a7d61ebc32d7d51ca1afb9","datavalue":{"value":"1161.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$10192A3E-7120-4561-906F-2F0B3035EEB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3e3f8ecf31ce9eb5eb0c6fc85ae13e2a827e78","datavalue":{"value":"10.1007/11901914_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$42D9CB5B-4DB1-4858-8A70-007E394EB180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e285203a97ae978252c9076a40fd96cd5b273777","datavalue":{"value":{"entity-type":"item","numeric-id":650905,"id":"Q650905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522908$659080C2-F456-434B-B466-B3B37500D74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522908$F93B5C87-2BA5-4861-A0E9-E3E2F283B41B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522908$088666F0-D4B2-4B19-B0D8-028FF8668BEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522908$BE1C80B7-7074-41BB-9DE2-0329C4EFB226","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35737c536513f50669611a1f08a99e1b06eae9de","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1536&context=cis_papers","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522908$FBDD78AA-4E1D-454B-BC43-6979D506C7E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$DBE5B245-2F5B-4CA9-9148-A175E9909F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$ADF42C26-EE7B-4C19-A85F-B9C5E8177158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$F9C0AD9D-8675-4B98-8B05-A09736F3BE88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8407224cb73020557e98ef8837ec0f2e3ad514ac","datavalue":{"value":"5321060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$E2E5F659-65DF-41D7-A6CF-88EB62B18661","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522908$F01CED21-9D29-46DC-894D-DE9C332436FA","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":"Q3522908$EE56F3B3-0BFA-4DBF-89A3-7B21DF5CC43B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d328a4739813c2bed982830d4dfde92767825c81","datavalue":{"value":"W2136248572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522908$CA6704FF-C7C0-4603-8513-180ACA8728A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c2ca313a6cb60ede3bb494700554a7ac10a51","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8770586c4cba60db7cabe0e149577af09765ac63","datavalue":{"value":{"amount":"+0.9533750414848328","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":"Q3522908$47ED9EF7-9B81-4505-80BA-7D4836EA7F8E","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":"1bd733be462956036bd352a23893c89deb9300ae","datavalue":{"value":{"amount":"+0.903242528438568","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":"Q3522908$EAA8BA64-9F8E-4689-A5C7-8BA8FBDC611F","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":"d079c037a457e194eb4e22fe399ffeefee4a7b89","datavalue":{"value":{"amount":"+0.852789580821991","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":"Q3522908$228D8E27-3826-422E-B54D-C04BFCFDF764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2277e536a691bbdc7d529657cc43d5222f39805b","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b114a745286e76bfe3ea5a022a100c2863c85e67","datavalue":{"value":{"amount":"+0.8439202308654785","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":"Q3522908$1F34B798-1844-4C4B-98EF-48D093F069CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fbe0c3a904012905f68cb18aef92644939783","datavalue":{"value":{"entity-type":"item","numeric-id":5206947,"id":"Q5206947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0b0d89d577dc2f8d2f1ae984c7a6c9b5702bfd","datavalue":{"value":{"amount":"+0.8257347941398621","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":"Q3522908$8AED56A2-F51B-4C6C-A595-F55CEC1F6FA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522908"}}}}}