{"entities":{"Q5194960":{"pageid":7224532,"ns":120,"title":"Item:Q5194960","lastrevid":91522040,"modified":"2026-06-04T23:23:09Z","type":"item","id":"Q5194960","labels":{"en":{"language":"en","value":"Assume-guarantee synthesis for concurrent reactive programs with partial information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105975"}},"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":"Q5194960$5204F919-1849-4659-B8B5-3B994D994CBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4737c47ef0876bcdf5e893a0d3fe6106650ce506","datavalue":{"value":{"text":"Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194960$EEB8D9BB-C7C7-4B3C-ABE1-DB61B05749C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a29105d0ccdb28eaa9120ab8f38f5c777d5026c","datavalue":{"value":"1420.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194960$DCDEA468-77FC-48F6-A7A0-0E8AF02478AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51288c48497921ca5f8934c093935bdaa8081580","datavalue":{"value":"10.1007/978-3-662-46681-0_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194960$AC0371AE-F906-4B1E-A1CE-0A992C5C7C28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194960$876C0A0A-0BB1-4E96-8AB6-E23F9A1A35A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194960$BE6C8252-8CF8-475F-9BF6-A9BC6700750F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194960$96B91404-968D-458C-8882-C9A90FA972AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"722a5b826701518e81fc2ee5e5bd6c51d22c55e6","datavalue":{"value":{"entity-type":"item","numeric-id":1696586,"id":"Q1696586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194960$10E9960C-B8FE-40DA-85A7-6798298776A6","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":"Q5194960$DA1B2F5F-A664-411F-8A68-C49D65005F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194960$62C4628E-4B03-4B58-A1EF-E551BECD09DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15577cf9c4e728e4c3b37b3545ef48e88c2412c5","datavalue":{"value":"https://arxiv.org/abs/1411.4604","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194960$B55E0EF6-5CCB-4DC0-85EA-68E9736F118D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194960$3971F910-EDBA-49E2-B469-1AABF49D015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194960$4B938212-C2C7-428C-981B-B1C32C316E42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5371121a069b5f10807227fcd8a593d5f821bf8","datavalue":{"value":"7105975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194960$4BA8A442-80E7-4981-AF71-25E44C3B13E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e20402354069a8eb017132b31d371122d76e96c","datavalue":{"value":"partial information","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194960$D903C8FF-ABFA-4B70-900B-81AE7AE47C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f233392f504acd00d5579490b7eaa4af94234d1b","datavalue":{"value":"critical section","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194960$C57CACBB-6AE7-4C27-B53E-41C66A618662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133967f6c7518bc7da1f1e5db8fbe7b16c1a0f9c","datavalue":{"value":"perfect information","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194960$ED214F9C-835F-4456-914A-7BB83CB1C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194960$C1A2E220-1A3D-4498-A080-B557FA72FEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95d73ac5da6d513247a677d0c4d4f1d33636c44","datavalue":{"value":"graph game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194960$62B46C80-B9B4-4121-BACE-A62BB7DBBC94","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":"Q5194960$51F41C26-1377-45EB-B2A3-0ED4CE7F52F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c5ca0ad3d26632ccb5333e2fb393a6eefc0168c","datavalue":{"value":"W1547931701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194960$F14FA540-C539-4A42-95FD-F910CD3AF235","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471f99ee6f4c74b0b10321452611c277a150174","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db71d6d1f12bd4e5a6ec18261dfd61cdc81b1b8","datavalue":{"value":{"amount":"+0.7792596817016602","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":"Q5194960$E7CCE505-BF0A-4A17-B2AE-3AA5ECCBACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c121b75caffc62e45f3b6499ec08ba51e300c55","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db71d6d1f12bd4e5a6ec18261dfd61cdc81b1b8","datavalue":{"value":{"amount":"+0.7792596817016602","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":"Q5194960$C735E70A-CD09-45FF-B937-7E04F4568917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b881948e1133609ca295bf3dcd6587ee20c87a","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd15334cd482b5438cf9e237b05366911103b31","datavalue":{"value":{"amount":"+0.7570908069610596","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":"Q5194960$605F7B77-633D-4FEF-93E9-C31704A4C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc76e1b3a9f97e4e2b25d7e5bfc9c471f609c25e","datavalue":{"value":{"entity-type":"item","numeric-id":2147209,"id":"Q2147209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7a0dd4a17086607f8a23535110421c6cd3dc53","datavalue":{"value":{"amount":"+0.7499977946281433","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":"Q5194960$30879E27-F985-429A-BB74-541C409271DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275e97a643f828e7a67053f110e5744b9f1a9e1c","datavalue":{"value":{"amount":"+0.7449409365653992","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":"Q5194960$23106178-54B3-4177-9119-5DEB4689FD81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assume-guarantee synthesis for concurrent reactive programs with partial information","badges":[]}}}}}