{"entities":{"Q6522523":{"pageid":14101485,"ns":120,"title":"Item:Q6522523","lastrevid":95434961,"modified":"2026-06-05T09:02:54Z","type":"item","id":"Q6522523","labels":{"en":{"language":"en","value":"Assume-guarantee contract algebras are bounded Sugihara monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6522523$12ADD28A-7602-4A42-999D-1501F8DEB9FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a01e9813b42d3b7c9d2b4080c824d971b450bb6","datavalue":{"value":{"text":"Assume-guarantee contract algebras are bounded Sugihara monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6522523$07457945-2FC2-498D-8567-BD7E5CA3067F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522523$B69FCB90-8CD1-4666-9B8F-CB6F2864CD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0c9d6c67b5455c5dddbc68bf7c9e41a92d98b2","datavalue":{"value":{"entity-type":"item","numeric-id":1699734,"id":"Q1699734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6522523$2075EAF1-07DC-4356-800D-F36AA9E9C745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6522523$82CC0A95-29D8-41C1-9890-F24225747D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6522523$C562BEC0-05F3-4068-B20D-1BFDF9011F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6522523$8142B275-0E40-4609-8276-6D9085C8F271","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":"Q6522523$C73F2D84-978B-484C-9490-645298EFA564","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"29ac298dcca0916c8403a94368970854702620fb","datavalue":{"value":"2402.12514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6522523$BC41CD57-5AB7-4C3C-8C25-BDC8075ECB37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assume-guarantee contract algebras are bounded Sugihara monoids","badges":[]}}}}}